Beast code in Giters

Callan McGill's repositories

debugged

Language:Haskell9 40

agda-halting

Language:Agda5 20

cedille-core

Language:Haskell2 20

massiv-example

Language:Haskell2 20

agda-peano

Language:Agda1 20

beautiful-racket

Language:Racket1 20

hs-tartlet

Language:Haskell1 30

system-F-ml

Language:OCaml100

py-lambda

Language:Python020

advent-of-code

Language:Haskell000

agda-confluence

Language:Agda020

agda-static-analysis

Language:Agda020

alex

A lexical analyser generator for Haskell

Language:HaskellBSD-3-Clause010

bracket-expr

Language:Haskell000

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Language:HaskellNOASSERTION010

cabal

Official upstream development repository for Cabal and cabal-install

NOASSERTION000

cat-dev-random

Language:Haskell000

chinchilla

000

codex

UI experiments for coda

000

hugo-theme-terminal

A simple, retro theme for Hugo

Language:CSSMIT010

imp

Language:Haskell020

interactive-logic-prover

Language:Haskell000

k-nucleotide-benchmark

Language:Haskell020

primitive

This package provides various primitive memory-related operations.

Language:HaskellNOASSERTION010

purescript-debugged

MIT000

re-hs

Language:Haskell020

rrb-vector

An implementation of a Relaxed Radix Balanced Vector in Haskell.

Language:HaskellBSD-3-Clause010

slick-blog

Language:HaskellBSD-3-Clause000

unbound-generics

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

BSD-3-Clause000

vector-algorithms

Language:HaskellNOASSERTION010