Grammar Zoo
☆102Dec 9, 2018Updated 7 years ago
Alternatives and similar repositories for zoo
Users that are interested in zoo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆19Feb 27, 2020Updated 6 years ago
- Software Language Engineering Body of Knowledge☆49Feb 17, 2020Updated 6 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years 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.
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 8 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated last month
- ♾️ A library for universe levels and universe polymorphism☆42Jun 19, 2026Updated last month
- ☆19Nov 21, 2019Updated 6 years ago
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 12 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 9 months ago
- #lang for writing C code☆16May 30, 2017Updated 9 years ago
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years 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.
- ☆16Apr 19, 2022Updated 4 years ago
- XKCD 3062☆23Mar 13, 2025Updated last year
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- TinyC compiler (lexer + parser + IR + optimization + x86-64 assembly generation)☆19Aug 9, 2020Updated 5 years ago
- Analyze and manipulate binary data based on ELF symbol tables☆20Apr 3, 2024Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 8 months ago
- AIM programming language☆21Dec 19, 2020Updated 5 years ago
- Deposited packages of the homalg project☆18Jul 19, 2026Updated last week
- Easy scripting for DrRacket☆19Jul 17, 2026Updated last week
- 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.
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 11 years ago
- OSS-Fuzz Public Corpora Crawler☆30Feb 23, 2023Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆20Jun 3, 2026Updated last month
- Javascript toplevel worker☆14Feb 5, 2026Updated 5 months ago
- Generate the Abstract Syntax Tree (AST) of a Bash command☆15Jan 30, 2021Updated 5 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 9 months ago
- A simple implementation of linear type theory☆40Apr 21, 2017Updated 9 years ago
- A parser tool for Racket with an expressive grammar notation☆20Mar 8, 2015Updated 11 years ago
- ☆46Jul 16, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago
- Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO☆16Jul 29, 2017Updated 9 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Documenting how OCaml libraries are managed☆12Oct 4, 2019Updated 6 years ago
- Yet another awesome fuzzers list☆15Oct 25, 2024Updated last year
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 3 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Jun 19, 2026Updated last month