mjdominus / cfLinks
Continued fraction library
☆31Updated 4 years ago
Alternatives and similar repositories for cf
Users that are interested in cf are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Real number computation software☆125Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 2 months ago
- LVC verified compiler☆57Updated 6 years ago
- Specification of the Cedille Core language☆30Updated 4 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated 11 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Logic for story telling!☆34Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A string diagram generator for LaTeX.☆28Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- n queens with the logic monad☆20Updated 10 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆13Updated 3 years ago
- ☆38Updated 9 years ago
- Coq plugin for monomorphization and C code generation☆34Updated 2 weeks ago