Discover @davdar Open Source projects

David Darais (@davdar)

davdar

Stars
39
Global Rank 406,458 (Top 15 %)
Followers 48
Registered over 13 years ago
Most used languages

Haskell
42.9 %

HTML
28.6 %

Emacs Lisp
14.3 %

Racket
14.3 %
Location 🇺🇸 United States
Country Total Rank 77,359
Country Ranking

Racket
270

Haskell
491

Emacs Lisp
1,341

maam

A monadic approach to static analysis following the methodology of AAM

parsing-with-derivatives-haskell

The original parsing with derivatives haskell implementation

redex-workshop-2015-ott

observational type theory in redex

dotfiles

redex-workshop-2015-notes

notes from the 2015 redex workshop in SLC

cut-elimination

Proving cut elimination for the sequent calculus in Coq

quals

darais-unicode-input