a datastructure for scalable combinatorial syntax
☆25Jul 23, 2026Updated 2 months ago
Alternatives and similar repositories for open-hypergraphs
Users that are interested in open-hypergraphs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- A Categorical View of Computation☆39Sep 28, 2026Updated last week
- Structured decompositions!☆15Mar 26, 2025Updated last year
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆121Feb 1, 2024Updated 2 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- Overcooked! 2 TAS Development Framework☆11Sep 23, 2026Updated 2 weeks ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Specification of the Formality proof and programming language☆43Feb 5, 2023Updated 3 years ago
- A natural transformation package☆16Jan 8, 2026Updated 9 months ago
- 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.
- Advanced commands to apply regular expressions.☆13Nov 12, 2024Updated last year
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Small programs with unknown halting status.☆13Jun 7, 2016Updated 10 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆11Nov 26, 2020Updated 5 years ago
- Minimal & malleable language for symbiotic end-user programming☆35Mar 7, 2026Updated 7 months ago
- ☆11Feb 15, 2022Updated 4 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- a repo with all ai setup☆17Jan 15, 2026Updated 8 months ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Macro Lambda Calculus☆52Mar 23, 2019Updated 7 years ago
- ☆11Feb 27, 2026Updated 7 months ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated last year
- A proof assistant for higher-dimensional type theory☆306Updated this week
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Firefly Pixie Firmware.☆21Feb 19, 2026Updated 7 months ago
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- FPGA referrence implementation for aion equihash 2109☆17Aug 1, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 6 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- ☆32Apr 24, 2026Updated 5 months ago
- Lean specification of neural architectures with verified GPU codegen.☆34Updated this week
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- The NATS C client library ported to the zig build system☆14Mar 14, 2025Updated last year