purcell / darcs-to-gitLinks
Convert/mirror darcs repos into git repos
☆98Updated 7 months ago
Alternatives and similar repositories for darcs-to-git
Users that are interested in darcs-to-git are comparing it to the libraries listed below
Sorting:
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- ncurses binding for Haskell☆62Updated last month
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Web site for standardml.org.☆36Updated last year
- Various XML utility packages for Haskell☆73Updated 3 months ago
- A class for types that can be converted to a hash value☆103Updated 3 months ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- Book: ATS programming foundations☆9Updated 9 years ago
- A Lisp syntax for Haskell.☆22Updated 13 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Shell Integration Library [Haskell]☆54Updated 3 months ago
- The MLtonLibrary repository☆36Updated 2 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago