noether-lang / noether
Noether programming language
☆126Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for noether
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- A less devious proof assistant☆222Updated last year
- A virtual machine for Monte.☆67Updated 7 months ago
- An in-memory datalog implementation for OCaml.☆261Updated last month
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- A formalization of category theory in the Coq proof assistant.☆93Updated 2 weeks ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- The Makam Metalanguage☆194Updated last year
- A small compiler for PCF☆124Updated 4 years ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- ☆135Updated 2 years ago
- syn·di·cate: a language for interactive programs☆152Updated 4 months ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A modern tool for literate programming☆273Updated 7 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- A small implementation of type inference☆78Updated 9 years ago
- History of Programming Languages, Spring 2017☆129Updated 6 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated last year
- My Own Linear Lisp☆37Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 8 months ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago
- Library and Toolkit for Standard ML☆144Updated last year
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated last year
- Real number computation software☆121Updated 2 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago