Discover @Boarders Open Source projects

Callan McGill (@Boarders)

Boarders

Stars
49
Global Rank 339,653 (Top 12 %)
Followers 43
Following 32
Registered about 7 years ago
Most used languages

Haskell
62.5 %

Agda 18.8 %

Coq 6.3 %

Racket
6.3 %

OCaml
6.3 %

debugged

agda-pipes

perfect-vector-shuffle

Library for performing shuffles on vectors

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