suhr / wcplLinks
☆16Updated 7 years ago
Alternatives and similar repositories for wcpl
Users that are interested in wcpl are comparing it to the libraries listed below
Sorting:
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- The Alms Programming Language☆44Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- A programming language☆77Updated 12 years ago
- ☆23Updated 7 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- ☆14Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- ☆35Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Recursion schemes in ATS☆9Updated 3 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago