a community for students at the university of maryland
☆51May 19, 2024Updated 2 years ago
Alternatives and similar repositories for PlanetTerp
Users that are interested in PlanetTerp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 25, 2026Updated last week
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- New implementation of protocols☆15Updated this week
- Detect partisan and subjective language in news text snippets.☆13Aug 28, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Aug 17, 2021Updated 5 years ago
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- Python codes☆15Oct 14, 2021Updated 5 years ago
- Fix BibTeX databases with Crossref metadata☆11Nov 24, 2018Updated 7 years ago
- Development area for another repo: Learn_Bluespec_and_RISCV_Design☆13Jun 28, 2026Updated 4 months ago
- A library that semantically splits code in a way that is friendly to LLMs☆21Feb 14, 2026Updated 8 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- ☆19Jan 13, 2026Updated 9 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.
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Small, configurable proof search for inductive Lean goals☆26Sep 30, 2026Updated last month
- ☆62May 23, 2025Updated last year
- XKCD 3062☆23Mar 13, 2025Updated last year
- RobotEvents v2 API Module☆18Jun 8, 2025Updated last year
- Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming☆25Sep 24, 2026Updated last month
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- OMR JIT glue code implementing a Ruby JIT☆12Dec 6, 2016Updated 9 years ago
- Tests for verifying compliance of RMM implementations☆27Apr 28, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Super tiny tap output library☆12Oct 13, 2023Updated 3 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆15Dec 18, 2020Updated 5 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- OxCaml Parallelism☆43Jul 10, 2026Updated 3 months ago
- A programming language based on bindings.☆12Jul 6, 2025Updated last year
- ☆10Apr 27, 2022Updated 4 years ago
- Pure python implementation of the ar archive format☆13Dec 18, 2025Updated 10 months ago
- An understandable fast brainfuck interpreter using closures rather than bytecode☆13Apr 16, 2025Updated last year
- A simple and robust way to call a C compiler from Python☆11Aug 3, 2012Updated 14 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 pretty-printing library for Rust with a focus on speed and compactness.☆10Feb 26, 2026Updated 8 months ago
- A document management tool☆11Nov 7, 2022Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated last year
- Ensō - an alternative python compiler written in Zig☆11Aug 27, 2026Updated 2 months ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 8 years ago
- A shim to define Ractor by using Thread, if not already defined☆14Mar 5, 2026Updated 7 months ago