Djinnlang implementation for Rust
☆27Oct 25, 2026Updated 2 weeks ago
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:
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- A durable, distributed, multiplayer coding agent built on the BEAM.☆13Updated this week
- An always-running agent, but is trustworthy and secure.☆11Oct 12, 2026Updated 3 weeks ago
- A formally verified symbolic cryptography library for Lean☆22Feb 18, 2026Updated 8 months ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- Lean models of program behavior, compiler foundations and verified WebAssembly tools.☆22Updated this week
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 9 months ago
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆33Nov 2, 2026Updated last week
- Fastest du replacement and file tree analysis for 100+GB, million-file worktrees☆18Updated this week
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 5 years ago
- Basic RDF Datatypes☆15Feb 23, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Rubric is a domain specific language for specifying constraints and validating AI-generated code.☆12Nov 4, 2025Updated last year
- A framework for scalable, distributed discovery systems.☆15Jul 8, 2026Updated 4 months ago
- ☆10Updated this week
- Examples for Making Geographic Maps with Clojure talk☆17Nov 19, 2020Updated 5 years ago
- ☆12Feb 22, 2018Updated 8 years ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- Dafny verifies proofs; claimcheck confirms intent.☆34Oct 29, 2026Updated last week
- 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.
- An auto-active program verifier in Lean☆136Updated this week
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆60Oct 5, 2026Updated last month
- Datalog implemented in minikanren☆25Sep 14, 2017Updated 9 years ago
- an llmwiki app☆20Nov 4, 2026Updated last week
- "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
- Backpressure sensor implementation for fs2☆13Mar 4, 2026Updated 8 months ago
- ☆14Oct 27, 2026Updated 2 weeks ago
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated 2 years ago
- TODO with expiring dates☆12Sep 6, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Formal prime certificates in Lean 4☆13Updated this week
- Set of tools to parse DS2 morpheme binaries, and to compile them☆17Oct 25, 2026Updated 2 weeks ago
- Implemented and benchmarked KV cache compression methods for LLM inference in Triton. Optimized kernels for KIVI and TurboQuant with Flas…☆18Jun 19, 2026Updated 4 months ago
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 14 years ago
- DBToaster OCAML code☆11Jan 19, 2022Updated 4 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
Are these results useful?