bowtie

programming lang for educational use

BSD-3-CLAUSE License

Stars
4
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Related Projects
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
kaleidoscope

Haskell LLVM JIT Compiler Tutorial

28 Dec 2013 1,027
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
MLem

👨🏼‍💻👅 A Tiny ML-like language for research purposes

15 Jul 2019 6
optparse-applicative

Applicative option parser

11 May 2012 900
unbeliever

Opinionated Haskell Interoperability

12 Aug 2018 33
ian

Personal megarepo

01 Aug 2019 7
fp-course

Functional Programming Course

30 Jun 2011 1,027
Oclis

The obvious CLI specification format. You define the spec, Oclis generates the code! Support for ...

03 Feb 2024 5
tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.

27 Feb 2020 15
type-systems

11 Feb 2017 23
bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

16 Jun 2012 121
awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021
tree-sitter-haskell

Haskell grammar for tree-sitter.

18 Feb 2016 153
codex

UI experiments for coda

17 May 2019 65