purcell / darcs-to-git
Convert/mirror darcs repos into git repos
☆96Updated 4 months ago
Related projects: ⓘ
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- a flexible text macro system☆17Updated 8 years ago
- ncurses binding for Haskell☆60Updated 8 years ago
- Web site for standardml.org.☆36Updated 11 months ago
- The MLtonLibrary repository☆34Updated last year
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 8 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- Shell Integration Library [Haskell]☆52Updated 7 years ago
- ☆20Updated 9 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆26Updated 4 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 6 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- The Alms Programming Language☆43Updated 6 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- SML Parser Combinator Library☆27Updated 8 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- Semantic Version Control mk II.☆37Updated 4 years ago
- A Web Browser written with Haskell☆36Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated last month
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- ☆10Updated last month
- My Own Linear Lisp☆36Updated 6 years ago
- A modern tool for literate programming☆272Updated 7 years ago