Chiasmus is an MCP server that gives language models access to formal verification
☆159May 1, 2026Updated last week
Alternatives and similar repositories for chiasmus
Users that are interested in chiasmus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- database linter rules☆167Apr 22, 2026Updated 2 weeks ago
- Incrementally persists atom state to Local Storage in ClojureScript☆30Dec 11, 2014Updated 11 years ago
- Datastar plugin to bind keyboard keys to actions☆15Apr 17, 2026Updated 3 weeks ago
- A JavaScript port of Paul Graham's Arc programming language☆20Jul 10, 2008Updated 17 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 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.
- Ledger financial translation to the Clojure merkledag data structure.☆11Nov 7, 2022Updated 3 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- How to use email to organize your ideas☆11May 6, 2025Updated last year
- A collection of truly reusable components for Om (Next)☆21Feb 19, 2016Updated 10 years ago
- A development-time library for Fulcro that helps to detect problems earlier and find and fix their root cause faster☆16Jan 26, 2024Updated 2 years ago
- A proof-of-concept for writing 🚀 datastar expressions using Clojure without manual string concatenation.☆15Apr 28, 2026Updated last week
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆72Mar 21, 2026Updated last month
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A LibSVM wrapper for Clojure☆33Dec 19, 2019Updated 6 years ago
- Bring basic readline/emacs keybindings to every text-input in MacOS☆15Feb 13, 2017Updated 9 years ago
- BOM reading/writing for Clojure☆20Dec 19, 2017Updated 8 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- "Spooky action at a distance" (between atoms)☆43Aug 22, 2016Updated 9 years ago
- The @honeycombio OpenTelemetry exporter for Golang☆12Dec 20, 2021Updated 4 years ago
- A Clojure wrapper for the Coinbase Pro API (formerly GDAX)☆23Sep 29, 2021Updated 4 years ago
- oswald editor☆10May 2, 2021Updated 5 years ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆22Oct 2, 2023Updated 2 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.
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- grep for C/C++ source files.☆31Aug 8, 2025Updated 9 months ago
- Random notes on mathematics (in German)☆12Apr 24, 2026Updated 2 weeks ago
- (archived) experiments with event streams in Clojure☆80Apr 14, 2013Updated 13 years ago
- Runtime types for OCaml (beta version)☆26Apr 6, 2026Updated last month
- ☆15Apr 16, 2021Updated 5 years ago
- Calderwood: An Event Sourcing/CQRS application template☆26Apr 19, 2017Updated 9 years ago
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- A python implementation of the Campfire API☆37May 7, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Higher-order FRP compiler☆16Oct 20, 2021Updated 4 years ago
- experimental macro for allowing Algol-like block structure scoping in clojure☆22Feb 25, 2024Updated 2 years ago
- Babashka filewatcher pod based on Rust notify☆25Sep 3, 2023Updated 2 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Canonical repo☆16Feb 26, 2019Updated 7 years ago
- μKanren implementation in Haskell☆19Jul 3, 2014Updated 11 years ago
- a public objective non-economic reputation system☆13Oct 4, 2015Updated 10 years ago