Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
☆22Mar 26, 2026Updated 5 months ago
Alternatives and similar repositories for Lobster
Users that are interested in Lobster 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 programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- Verified graph rewriting (for dataflow circuits).☆28Jul 15, 2026Updated 2 months ago
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Sep 7, 2026Updated last week
- Repo for Performance Interfaces for Hardware Accelerators.☆21Aug 19, 2025Updated last year
- Tests for verifying compliance of RMM implementations☆26Apr 28, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 9 months ago
- ☆35Sep 12, 2026Updated last week
- Chess in Lean 4☆38Feb 14, 2026Updated 7 months ago
- Performant and safe knowledge compilation in rust☆31Sep 9, 2026Updated last week
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆60Dec 24, 2021Updated 4 years ago
- [RA-L 2024] 3D Active Metric-Semantic SLAM☆17Jul 21, 2025Updated last year
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- PaiNN in jax☆11Jan 14, 2025Updated last year
- 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.
- CNF preprocessor and functional synthesis tool☆28Updated this week
- D. E. Shaw Research Technical Reports☆15Jul 4, 2022Updated 4 years ago
- Sparse Circuits on the GPU (ICLR2025)☆27Aug 25, 2026Updated 3 weeks ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A PBT framework☆10Jul 19, 2025Updated last year
- Duo - A research language exploring duality in programming language design☆62May 23, 2023Updated 3 years ago
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 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 kind synthetic Euclidean Geometry proof assistant☆45May 11, 2026Updated 4 months ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jul 10, 2026Updated 2 months ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 4 months ago
- E(n) Equivariant GNN in jax☆14Aug 31, 2023Updated 3 years ago
- Property-based testing for OCaml, built on Hypothesis☆23Updated this week
- Set monad☆19Jun 11, 2023Updated 3 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Apr 15, 2015Updated 11 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Apr 23, 2021Updated 5 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.
- ☆14Apr 26, 2018Updated 8 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 4 years ago
- A Discord bot that provides services related to the VEX Robotics Competition, primarily providing statistics related to the competition.☆15May 18, 2023Updated 3 years ago
- Search your GroupMe messages.☆12Aug 13, 2026Updated last month
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d…☆18Feb 2, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- ☆10Apr 24, 2023Updated 3 years ago