pkamenarsky / formulaeLinks
Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
☆13Updated 9 years ago
Alternatives and similar repositories for formulae
Users that are interested in formulae are comparing it to the libraries listed below
Sorting:
- Robust multi-prompt delimited control and effect handlers in C/C++☆123Updated last year
- Mathematical Components (the Book)☆146Updated last year
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- ☆34Updated 4 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Real number computation software☆126Updated 2 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated 11 months ago
- An interactive theorem prover based on lambda-tree syntax☆96Updated 2 months ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- Editor for language composition☆57Updated 2 years ago
- The Mechanization of Standard ML☆73Updated 3 years ago
- MetaML and MetaOCaml bibliography☆94Updated 8 months ago
- ☆89Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- higher order dependently typed logic programing☆174Updated 7 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆49Updated 9 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- ☆56Updated 3 months ago
- Library for exact real number computations☆40Updated 10 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆79Updated 6 months ago
- Prototype type inference engine☆203Updated 6 months ago
- ☆137Updated 3 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated last year
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 3 years ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- An enhanced unification algorithm for Coq☆56Updated 3 months ago