Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
☆17Mar 26, 2026Updated 4 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 7 months ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Jun 17, 2026Updated last month
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated last year
- CIS 7000-01 Fall 2025 Course materials☆16Jan 20, 2026Updated 6 months ago
- ☆36Nov 26, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Verified graph rewriting (for dataflow circuits).☆27Jul 15, 2026Updated 3 weeks ago
- Repo for Performance Interfaces for Hardware Accelerators.☆20Aug 19, 2025Updated 11 months ago
- Tests for verifying compliance of RMM implementations☆24Apr 28, 2026Updated 3 months ago
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 7 months ago
- ☆30Updated this week
- Chess in Lean 4☆37Feb 14, 2026Updated 5 months ago
- Framework and Language for Neurosymbolic Programming.☆503Jun 26, 2026Updated last month
- ☆15Jul 29, 2026Updated last week
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated 4 months 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.
- [ICLR 2024] This is the official implementation of our paper "Semantic Flow: Learning Semantic Fields of Dynamic Scenes from Monocular Vi…☆14Sep 28, 2024Updated last year
- 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
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- ☆17Jun 4, 2023Updated 3 years ago
- 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- ☆12Apr 1, 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
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- A kind synthetic Euclidean Geometry proof assistant☆45May 11, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 3 weeks ago
- Detect partisan and subjective language in news text snippets.☆13Aug 28, 2017Updated 8 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
- E(n) Equivariant GNN in jax☆14Aug 31, 2023Updated 2 years ago
- App to extract structured fields into a spreadsheet from unstructured text☆15Dec 6, 2023Updated 2 years ago