Popular repositories Loading

1. bencch bencch Public

   beginner's C compiler written in Haskell(aborted)

   Haskell 3 1

2. 48scheme.idr 48scheme.idr Public

   r5rs subset in Idris

   Idris 3

3. dotfiles dotfiles Public

   configs managed by chezmoi

   Shell 2

4. TaPL.lean TaPL.lean Public

   leanでTypes and Programming Languagesを実装して理解する

   Lean 2

5. jhc-libopencm3 jhc-libopencm3 Public

   template for using libopencm3 from haskell(jhc), stm32f103 blackpill as default

   Haskell 1

6. melllk melllk Public

   ME Learning LLvm by writing Kaleidoscope with haskell (aborted)

   Haskell 1