---

• Haskell Language Server

  • 
  • 
  • 
  • 

• Adjoint Metaprogramming Prototype Implementation

• SATyros - Step-by-step SAT/SMT solver

• Lambda cube

• Htaut

  • 

• LambdaDB

  • 

---

• McTT - Mechanized Type Theory

---

• MINT - Modal INtuitionistic Type theory

• Adjoint logic mechanization

---

• Yet Another Emacs Settings

• Emacs Retrie

• Magit LFS

• Coq Commenter

---

• Emotion JS

  • 
  • 

• TSdux

  • 
  • 

• TSdux Observable

  • 
  • 

---

• Core lang in Haskell

• TRPL

• Programming in Haskell

• Elevator2way7floor

• LD 8bit Microprocessor