A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
☆85May 6, 2024Updated last year
Alternatives and similar repositories for lalrpop-lambda
Users that are interested in lalrpop-lambda are comparing it to the libraries listed below
Sorting:
- Proof of concept of procedural macro input parsed by LALRPOP☆52Dec 19, 2022Updated 3 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- A λ-calculus shell (because I love writing shells).☆11Jan 2, 2020Updated 6 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- A Rust utility DSL and macro to help construct and modify Paths.☆23Jul 11, 2020Updated 5 years ago
- JQuery for Crabs☆53May 1, 2024Updated last year
- Survey of the Rust web scene in mid-2019, covering async/await, DDD-esque structure, testing, mocking, OpenAPI, and Actix☆17Aug 22, 2019Updated 6 years ago
- change variable and function names in Julia code to random emoji☆20Apr 28, 2023Updated 2 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Nov 2, 2023Updated 2 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61May 12, 2022Updated 3 years ago
- An experimental reimplementation of rowan, focused on size efficiency☆25Sep 4, 2020Updated 5 years ago
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- Computational Tools for Heat Exchanger Network Synthesis☆11Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- High-performance parallel and distributed datastore for Julia☆25Jun 22, 2025Updated 8 months ago
- Parse environment variables by defining a struct☆24Aug 31, 2019Updated 6 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- ☆12Feb 17, 2023Updated 3 years ago
- Functionality for modifying Julia package registry files☆12Updated this week
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- ☆13Jun 7, 2022Updated 3 years ago
- Interactive plotting of millions of data points☆11Mar 31, 2022Updated 3 years ago
- Finite Element tools in Julia: Meshing of medical images☆11Apr 18, 2025Updated 10 months ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Sep 21, 2020Updated 5 years ago
- 🌸 a simple scripting language (alpha) 🌸☆140Jun 24, 2019Updated 6 years ago
- Core functionality for processing coverage information in Julia☆10Feb 1, 2026Updated last month
- Efficient Astronomical Time transformations in Julia.☆16Aug 2, 2024Updated last year
- Extension of nom to trace parser☆50Feb 3, 2025Updated last year
- Jupyter Kernel Protocol for rust☆14Feb 19, 2026Updated last week
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 5 months ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Aug 13, 2019Updated 6 years ago
- Search through rust crates without leaving the terminal☆31Oct 15, 2024Updated last year