Discover @Boarders Open Source projects

Callan McGill (@Boarders)

Boarders

Stars
50
Global Rank 341,187 (Top 12 %)
Followers 50
Following 38
Registered over 7 years ago
Most used languages

Haskell
62.5 %

Agda 18.8 %

Coq 6.3 %

OCaml
6.3 %

Racket
6.3 %

debugged

perfect-vector-shuffle

Library for performing shuffles on vectors

agda-pipes

Fishy

a study in fish

agda-halting

bytes16

massiv-example

cedille-core

unboxed-references

algebraic-laws

A Haskell library defining a collection of algebraic laws

system-F-ml

HoTT-exercises

beautiful-racket

hs-tartlet

agda-peano

Countdown-Solver

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