aldorlang / aldorView external linksLinks
The Aldor Programming Language
☆36Jan 25, 2026Updated 3 weeks ago
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
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 9 months ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 8 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- ☆14Jun 20, 2023Updated 2 years ago
- Jasspa's microemacs☆12Apr 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
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- A research project on isomorphisms of finite fields☆16Jun 15, 2018Updated 7 years ago
- CS316 "Functional Programming" lecture notes☆21Jan 29, 2026Updated 2 weeks ago
- Sqlite gen_server port for Erlang. Creates, reads and writes to sqlite database.☆44Oct 19, 2008Updated 17 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 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
- A literate programming system for Common Lisp.☆23Apr 30, 2021Updated 4 years ago
- A conda-smithy repository for cling.☆11Apr 7, 2025Updated 10 months ago
- 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
- Writeup that goes along with this:☆16Apr 19, 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.☆23Nov 18, 2024Updated last year
- Official compiler for the Nany Programming Language {read-only mirror from gitlab}☆12May 26, 2018Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Jul 27, 2018Updated 7 years ago
- Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.☆24Mar 27, 2024Updated last year
- Collaborative work on reversible computing☆18Aug 3, 2022Updated 3 years ago
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated 3 weeks 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
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- The programming language☆43Aug 21, 2015Updated 10 years ago
- An attribute grammar-based programming language for composable language extensions☆68Feb 9, 2026Updated last week
- Common Lisp with Arc Macros and Procedures☆75Jul 7, 2016Updated 9 years ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Apr 13, 2021Updated 4 years ago