Djinnlang implementation for Rust
☆21Oct 14, 2026Updated last week
Alternatives and similar repositories for rust-djinn
Users that are interested in rust-djinn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 2 months ago
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆30Jul 8, 2026Updated 3 months ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- An auto-active program verifier in Lean☆131Oct 8, 2026Updated 2 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- 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.
- ☆13Oct 14, 2026Updated last week
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- A data-oriented proof assistant☆34Oct 15, 2026Updated last week
- ☆12Feb 22, 2018Updated 8 years ago
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- ☆22Oct 4, 2026Updated 2 weeks ago
- Build structured Proof Blueprints with Verso☆35Oct 10, 2026Updated last week
- ☆41Jul 29, 2026Updated 2 months ago
- TODO with expiring dates☆12Sep 6, 2014Updated 12 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.
- [Do not use] Coroutines with async/await/yield for Rust☆13Apr 30, 2016Updated 10 years ago
- Functional lenses on C++ (highly experimental).☆10Aug 13, 2019Updated 7 years ago
- Coinductive Interaction Trees in Lean4 using QPFs☆20Updated this week
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 14 years ago
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated last year
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 12 years ago
- Rocket integration for Juniper, the GraphQL server library for Rust☆21Dec 3, 2017Updated 8 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Oct 2, 2026Updated 2 weeks ago
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆41Updated 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.
- Scala cfor macro, like a java for-loop☆19Sep 7, 2026Updated last month
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- ☆12Mar 18, 2020Updated 6 years ago
- Play Framework Bootstraped with Mongo Storage and SecureSocial Authentication☆15Sep 13, 2013Updated 13 years ago
- Example of how to implement thread local context propagation in Play☆13Aug 4, 2014Updated 12 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Startup projet with VueJS with Tauri and Vite☆10Aug 27, 2024Updated 2 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Running a sangria server as federated☆19Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A file management automation tool.☆14Updated this week
- Python client to interact with the lean4 language server.☆48Aug 19, 2026Updated 2 months ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- purple: compiling a reflective language☆33Feb 27, 2026Updated 7 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- ☆17Updated this week
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago