The Aldor Programming Language
☆36Feb 28, 2026Updated last week
Alternatives and similar repositories for aldor
Users that are interested in aldor are comparing it to the libraries listed below
Sorting:
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 8 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- Jasspa's microemacs☆12Apr 20, 2023Updated 2 years ago
- ☆14Jun 20, 2023Updated 2 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- The 32-bit version of Murmurhash3 for Common Lisp.☆17Jun 4, 2021Updated 4 years ago
- Sqlite gen_server port for Erlang. Creates, reads and writes to sqlite database.☆44Oct 19, 2008Updated 17 years ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 7 years ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- A literate programming system for Common Lisp.☆23Apr 30, 2021Updated 4 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 5 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- Official compiler for the Nany Programming Language {read-only mirror from gitlab}☆12May 26, 2018Updated 7 years ago
- Luke Tierney's Xlispstat statistical environment☆18Jan 17, 2016Updated 10 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- HTTP client for embedded use - supports redirects and resume.☆24Nov 18, 2024Updated last year
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Jul 27, 2018Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.☆24Mar 27, 2024Updated last year
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated last month
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Jun 10, 2014Updated 11 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- The programming language☆43Aug 21, 2015Updated 10 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- CL compiler macro utilities.☆69Jun 10, 2020Updated 5 years ago
- Common Lisp with Arc Macros and Procedures☆75Jul 7, 2016Updated 9 years ago
- A logic programming library for Common Lisp.☆64Dec 22, 2020Updated 5 years ago
- Generalized syntax & semantics for universe hierarchies☆32Dec 11, 2023Updated 2 years ago
- InterLisp interpreter☆68Feb 27, 2026Updated last week
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Oct 25, 2023Updated 2 years ago