Alternatives and similar repositories for formulae:

Users that are interested in formulae are comparing it to the libraries listed below

• bitonic / tog
  ☆26Updated 8 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆46Updated 5 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆89Updated 5 months ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆34Updated last year
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• clf / celf
  ☆60Updated 5 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 6 months ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• mmirman / caledon
  higher order dependently typed logic programing
  ☆171Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• giorgidze / Hydra
  Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Diff…
  ☆30Updated 13 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆82Updated 8 years ago
• m-yac / agda-knots
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆13Updated 6 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 8 months ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆27Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆56Updated 3 weeks ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago