An implementation of @phil_eaton compilers basic notes in Rust
☆35Jun 3, 2019Updated 6 years ago
Alternatives and similar repositories for ulisp
Users that are interested in ulisp are comparing it to the libraries listed below
Sorting:
- Using elm to make a simple chatroom☆15Nov 23, 2016Updated 9 years ago
- Experimenting w/ dependency injection.☆24Jan 27, 2017Updated 9 years ago
- Effect-Driven Compiler Tester for OCaml☆37Sep 25, 2019Updated 6 years ago
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85May 6, 2024Updated last year
- ☆26Jul 18, 2022Updated 3 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- An exercise in programming language design and implementation.☆19Nov 20, 2021Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Mar 20, 2025Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated 10 months ago
- The HexagonE VM☆26Aug 23, 2022Updated 3 years ago
- ☆21Aug 16, 2024Updated last year
- HardCaml implementation of the OCaml ZINC Abstract Machine☆46Jan 5, 2020Updated 6 years ago
- tfr or so called "tor-fr" is a productive tool that sync-up and share your files, directories instantly, efficently and elegantly.☆13Sep 13, 2025Updated 6 months ago
- Use mozc temporarily☆11Jul 3, 2020Updated 5 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 2 weeks ago
- OCaml interpreter☆103Sep 2, 2019Updated 6 years ago
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- ☆26Dec 3, 2018Updated 7 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- Gentoo Linux Install Scripts☆10Feb 9, 2015Updated 11 years ago
- Grotsky Programming Language☆20Dec 1, 2025Updated 3 months ago
- Extension of nom to trace parser☆50Feb 3, 2025Updated last year
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- Dependently Typed Metaprogramming Exercises☆24Feb 9, 2018Updated 8 years ago
- Compiler for a language called bshift☆16Jul 9, 2018Updated 7 years ago
- x86 emulator written in Rust. Just for study☆10Jul 30, 2016Updated 9 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- A minimal language inspired by Lisp and Haskell☆20Jul 5, 2020Updated 5 years ago
- "Freedom from syn": Proc macro tools for operating on token trees☆107Mar 21, 2020Updated 6 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆118Jan 1, 2023Updated 3 years ago