Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
☆21Mar 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:
- [IEEE T-RO 2025] MAstering Risky Gap Terrains for Legged Robots with Elevation Mapping☆19Dec 17, 2025Updated 8 months ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated last year
- CIS 7000-01 Fall 2025 Course materials☆16Jan 20, 2026Updated 7 months ago
- Verified graph rewriting (for dataflow circuits).☆27Jul 15, 2026Updated last month
- 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.
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆20Updated this week
- Repo for Performance Interfaces for Hardware Accelerators.☆20Aug 19, 2025Updated last year
- Virtual Decoupled Cores: Composable Programming Framework and Runtime for Async GPUs☆21Updated this week
- Tests for verifying compliance of RMM implementations☆25Apr 28, 2026Updated 4 months ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 8 months ago
- ☆32Aug 5, 2026Updated 3 weeks ago
- Chess in Lean 4☆38Feb 14, 2026Updated 6 months ago
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated 4 months ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- 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.
- 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
- CNF preprocessor and functional synthesis tool☆28Updated this week
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Sparse Circuits on the GPU (ICLR2025)☆27Updated this week
- 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
- 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.
- ☆12Apr 1, 2021Updated 5 years ago
- ☆13Jun 2, 2024Updated 2 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
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jul 10, 2026Updated last month
- 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.
- Detect partisan and subjective language in news text snippets.☆13Aug 28, 2017Updated 9 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- Tensor Parallelism with JAX + Shard Map☆11Sep 29, 2023Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 3 months ago
- App to extract structured fields into a spreadsheet from unstructured text☆15Dec 6, 2023Updated 2 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago