Alternatives and similar repositories for darcs-to-git

Users that are interested in darcs-to-git are comparing it to the libraries listed below

• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆62Updated last month
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• snoyberg / xml
  Various XML utility packages for Haskell
  ☆73Updated 3 months ago
• haskell-unordered-containers / hashable
  A class for types that can be converted to a hash value
  ☆103Updated 3 months ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• jats-ug / ATS_Foundations
  Book: ATS programming foundations
  ☆9Updated 9 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• jgoerzen / hsh
  Shell Integration Library [Haskell]
  ☆54Updated 3 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Updated 11 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago