Boarders/beautiful-racket Boarders/beautiful-racket

  • Stars
    star
    1
  • Language
    Racket
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Boarders/beautiful-racket
github

Boarders

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

debugged

Haskell
9
star
2

perfect-vector-shuffle

Library for performing shuffles on vectors
Haskell
7
star
3

agda-pipes

Agda
6
star
4

Fishy

a study in fish
Haskell
5
star
5

agda-halting

Agda
5
star
6

bytes16

Haskell
3
star
7

massiv-example

Haskell
2
star
8

cedille-core

Haskell
2
star
9

unboxed-references

Haskell
2
star
10

algebraic-laws

A Haskell library defining a collection of algebraic laws
Haskell
2
star
11

system-F-ml

OCaml
1
star
12

HoTT-exercises

Coq
1
star
13

hs-tartlet

Haskell
1
star
14

agda-peano

Agda
1
star
15

Countdown-Solver

A countdown solver in Haskell based on chapter in Programming in Haskell by Graham Hutton
Haskell
1
star