Quickly hashing all subexpressions of a program modulo alpha-renaming
☆16Sep 7, 2021Updated 4 years ago
Alternatives and similar repositories for hash-modulo-alpha
Users that are interested in hash-modulo-alpha are comparing it to the libraries listed below
Sorting:
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- ☆10Dec 6, 2022Updated 3 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- The Rookie Text Analysis System☆10Dec 8, 2022Updated 3 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 3 months ago
- VS Code extension for Duffle, the CNAB installer☆14Apr 29, 2023Updated 2 years ago
- An experiment in trying to define a core and cleaned-up NumPy API: RNumPy☆13Feb 19, 2021Updated 5 years ago
- Access the Web Cryptography API with a WebView☆12Feb 17, 2026Updated 2 weeks ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Benchmarking framework for Clojure☆10Feb 27, 2019Updated 7 years ago
- Simple dependency injection container with some state handling functions (for facebook flux-like state-management)☆12Nov 2, 2017Updated 8 years ago
- A Common Lisp embeddings library☆14Apr 6, 2024Updated last year
- Example datasets and dashboards known to work well in OmniSci☆15Sep 25, 2020Updated 5 years ago
- ☆10Feb 17, 2026Updated 2 weeks ago
- ☆12Jul 9, 2021Updated 4 years ago
- Berkeley's Data8 Infrastructure specific documentation & guides☆10Jun 22, 2020Updated 5 years ago
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 years ago
- ☆11May 6, 2025Updated 10 months ago
- Brainstorm how to make scientific Python ecosystem faster☆11Jul 19, 2024Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- An interactive Shiny app that allows users to transform spatial data related to a central point with a variety of non-linear distance tra…☆10Feb 20, 2025Updated last year
- Cytoscape.js API support in JS, Python, and R Jupyter kernels☆10Nov 11, 2017Updated 8 years ago
- ☆15Aug 19, 2024Updated last year
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆100Oct 25, 2023Updated 2 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 11 months ago
- ☆13Jan 7, 2026Updated 2 months ago
- ☆16Feb 18, 2025Updated last year
- A chat application using nejma and starlette☆14Feb 12, 2019Updated 7 years ago
- Access to Google services from Common Lisp☆15Nov 18, 2017Updated 8 years ago
- CFFI bindings to WiringPi 2 for Common Lisp.☆12Nov 5, 2016Updated 9 years ago
- Run tests in your markdown☆11Jan 15, 2021Updated 5 years ago