mjdominus / cf
Continued fraction library
☆30Updated 4 years ago
Alternatives and similar repositories for cf:
Users that are interested in cf are comparing it to the libraries listed below
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 2 weeks ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- A compiler for a simple language using llvm☆35Updated last year
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Specification of the Cedille Core language☆29Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- CNN in APL☆22Updated 2 years ago
- a syntax directed editor☆17Updated last year
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆12Updated 3 years ago
- Logic for story telling!☆34Updated 7 years ago
- Stackless Joy☆23Updated 3 weeks ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Pawns functional/imperative programming language compiler etc☆9Updated 3 weeks ago
- A programming language☆14Updated 10 years ago