Semantic analysis framework
☆15May 22, 2022Updated 4 years ago
Alternatives and similar repositories for uranium
Users that are interested in uranium 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 Java parser combinator library written with an unmatched feature set.☆132Oct 30, 2021Updated 5 years ago
- Simple C library for executing lots of operations spread over any number of threads☆12Dec 24, 2025Updated 10 months ago
- UU AFP Summer School Homepage☆11May 20, 2025Updated last year
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- Implement a Stack VM Interpreter with a Register Window☆12Jan 2, 2024Updated 2 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.
- CS345 Programming Languages at University of San Francisco☆20Apr 21, 2016Updated 10 years ago
- Java JNI binding for mujoco physics system☆18Mar 18, 2025Updated last year
- A Lisp-dialect written in Go featuring a library written in itself, a REPL, tail-optimized recursion, macros, and a meta-circular interpr…☆22Jun 6, 2021Updated 5 years ago
- A small stack of Markdown tools configured using some preferred conventions for creating technical content rendered and served from a clo…☆19Feb 22, 2024Updated 2 years ago
- A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.☆30Sep 11, 2026Updated last month
- An experiment in implementing a GUI code editor from scratch☆11Oct 6, 2026Updated 3 weeks ago
- A high performance Java command framework☆12Oct 22, 2026Updated last week
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- Color Schemes for Konsole Terminal☆10Jun 23, 2022Updated 4 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.
- A small compiled language with a back-end and a front-end written from scratch☆33May 30, 2025Updated last year
- A FreshRSS extension which add LaTeX support☆11Sep 11, 2025Updated last year
- Java Hello World, LLVM Edition☆12Nov 12, 2025Updated 11 months ago
- Implementation of Red / Green syntax trees. Inspired by Rowan☆20Jul 20, 2026Updated 3 months ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Tool for plotting Go benchmark results☆18Jul 10, 2024Updated 2 years ago
- flex & bison (Lexical Analysis and Parsing)☆12May 18, 2018Updated 8 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 4 years ago
- MCP server exposing WinDbg/DbgEng (live user-mode, kernel, crash dumps, Time Travel Debugging) to AI agents over stdio or over HTTP with …☆17Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A REPL for Rust projects featuring an easy to use, zsh like autocomplete feature.☆21Mar 7, 2026Updated 7 months ago
- ☆18Oct 18, 2026Updated last week
- A Rust backend crate for the popular card game, Blackjack, designed to also be compiled for linking with C☆11Sep 17, 2019Updated 7 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A DSL and framework for hypermedia driven web backends, and REST APIs☆10Updated this week
- A repository for navigating through various programming languages, providing links to their official websites and repository addresses.☆11Sep 3, 2026Updated last month
- A simple command runner for Python project development.☆14Mar 23, 2026Updated 7 months ago
- Cross-platform library to block the power save function in the OS☆11Nov 20, 2025Updated 11 months ago
- ☆16Apr 19, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆13Oct 4, 2026Updated 3 weeks ago
- ☆12Sep 25, 2022Updated 4 years ago
- Pixie is a C# library for beautiful and portable console output formatting/typesetting.☆23May 1, 2026Updated 5 months ago
- Apache Directory Mavibot☆17Jun 2, 2026Updated 4 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week