An attribute grammar-based programming language for composable language extensions
☆75Oct 30, 2026Updated this week
Alternatives and similar repositories for silver
Users that are interested in silver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attribute grammar Based Language Extensions for C☆44Oct 20, 2026Updated 2 weeks ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Dec 28, 2018Updated 7 years ago
- Tool implementing Property Probes☆23Oct 19, 2026Updated 2 weeks ago
- Lecture notes on algorithms and data structures. Begun as written notes for A&DS from Pavel Marvin.☆13May 26, 2026Updated 5 months ago
- General purpose, statically typed, functional programming language☆14Aug 10, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Shaking expression trees until something tasty pops out☆18Oct 30, 2018Updated 8 years ago
- Compiler and runtime of the Smten language for functional programming and orchestration of SMT queries☆19Aug 29, 2018Updated 8 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 6 months ago
- Graph-based tool retrieval for LLM agents — 248 tools → 82% accuracy, 79% fewer tokens. Zero dependencies. OpenAPI / MCP / LangChain.☆18Oct 8, 2026Updated 3 weeks ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆175Apr 21, 2024Updated 2 years ago
- Statically typed, high-level functional programming language.☆16Aug 22, 2021Updated 5 years ago
- ☆34Oct 26, 2026Updated last week
- Quality-of-life for fiddly little JS apps that modify user-generated text☆21Jan 19, 2025Updated last year
- otp/supervisor-like interface to supervise distributed processes☆16Nov 8, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Rosi: a row-typed functional programming language, based on the Rose family of calculi☆16Updated this week
- Optimizing database queries with array programming☆20Sep 21, 2020Updated 6 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- The Kleenex programming language☆59Oct 18, 2024Updated 2 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆18Oct 9, 2026Updated 3 weeks ago
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆21Jul 27, 2018Updated 8 years ago
- Small Prolog☆15Dec 8, 2016Updated 9 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.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A programming language.☆13Aug 4, 2025Updated last year
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- The Stone programming language - OOP, immutable, functional, typed, actors☆10Aug 5, 2026Updated 2 months ago
- The Lily programming language ⚜☆11Aug 12, 2026Updated 2 months ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Mar 20, 2021Updated 5 years ago
- Prop Compiler Compiler is a an augmented C++ to C++ translator. Adding Alegebraic Data Types, pattern matching, rewriting, parser generat…☆14May 6, 2015Updated 11 years ago
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Oct 18, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 4 years ago
- Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.☆13Jun 14, 2019Updated 7 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 5 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆46Jan 25, 2026Updated 9 months ago
- A MinCaml compiler implemented in Rust☆45Mar 3, 2026Updated 8 months ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago