An implementation of @phil_eaton compilers basic notes in Rust
☆35Jun 3, 2019Updated 7 years ago
Alternatives and similar repositories for ulisp
Users that are interested in ulisp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using elm to make a simple chatroom☆15Nov 23, 2016Updated 9 years ago
- A Modern Text Editor☆16Nov 28, 2017Updated 8 years ago
- Effect-Driven Compiler Tester for OCaml☆38Sep 25, 2019Updated 6 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84May 6, 2024Updated 2 years ago
- Hygienic Literate Programming for Chez Scheme☆47Dec 13, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- ☆26Jul 18, 2022Updated 4 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Dec 19, 2022Updated 3 years ago
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- garbage collection☆328Jul 24, 2019Updated 6 years ago
- 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.☆55Mar 20, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The HexagonE VM☆26Aug 23, 2022Updated 3 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- Use mozc temporarily☆11Jul 3, 2020Updated 6 years ago
- Garbage collector experiments in Rust☆23May 23, 2016Updated 10 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆46Jan 5, 2020Updated 6 years ago
- ☆18Feb 17, 2026Updated 5 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Grotsky Programming Language☆21Jun 25, 2026Updated 3 weeks ago
- OCaml interpreter☆104Sep 2, 2019Updated 6 years ago
- ☆27Dec 3, 2018Updated 7 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- Gentoo Linux Install Scripts☆10Feb 9, 2015Updated 11 years ago
- ☆18Jan 10, 2018Updated 8 years ago
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- Toy OS written in Rust, modeled on xv6☆26Feb 1, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A minimal language inspired by Lisp and Haskell☆21Jul 5, 2020Updated 6 years ago
- Emscripten API bindings for Rust☆18Mar 14, 2020Updated 6 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- "Freedom from syn": Proc macro tools for operating on token trees☆107Mar 21, 2020Updated 6 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- A CHIP-8 emulator in C.☆19Aug 22, 2022Updated 3 years ago
- toy r7rs-small (WG1) scheme interpreter☆15Jun 12, 2018Updated 8 years ago