Chiasmus is an MCP server that gives language models access to formal verification
☆200Jun 8, 2026Updated 3 weeks ago
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:
- ☆13Feb 12, 2020Updated 6 years ago
- ☆13May 9, 2021Updated 5 years ago
- Job Processing Library☆17Jun 1, 2026Updated 3 weeks ago
- Local, offline 7B LLM task orchestrator — analyzes urgency, debates assignment, balances load. Runs on RTX 3080/4090. Chaos mode included…☆36Feb 14, 2026Updated 4 months ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 7 years 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 customizable better "prn" for debugging☆15Jan 6, 2020Updated 6 years ago
- Ledger financial translation to the Clojure merkledag data structure.☆11Nov 7, 2022Updated 3 years ago
- raylib + LuaJIT + Yuescript☆12Mar 1, 2022Updated 4 years ago
- How to use email to organize your ideas☆12May 6, 2025Updated last year
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 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
- Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where h…☆80May 29, 2026Updated last month
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Chatbot framework that listens and sends messages to multiple live-streaming platforms simultaneously☆13Jan 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A true type font rendering subsystem for jMonkeyEngine.☆11Sep 29, 2023Updated 2 years ago
- BOM reading/writing for Clojure☆20Dec 19, 2017Updated 8 years ago
- Haskell support☆20Updated this week
- 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
- A Clojure wrapper for the Coinbase Pro API (formerly GDAX)☆23Sep 29, 2021Updated 4 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- oswald editor☆10May 2, 2021Updated 5 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- grep for C/C++ source files.☆31Aug 8, 2025Updated 10 months ago
- Random notes on mathematics (in German)☆13Jun 5, 2026Updated 3 weeks ago
- (archived) experiments with event streams in Clojure☆80Apr 14, 2013Updated 13 years ago
- ☆15Apr 16, 2021Updated 5 years ago
- Calderwood: An Event Sourcing/CQRS application template☆26Apr 19, 2017Updated 9 years ago
- ☆18May 9, 2026Updated last month
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- rustDesk 自建API服务器☆16Oct 24, 2023Updated 2 years ago
- A RAML parser implemented in clojure☆22Mar 6, 2017Updated 9 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.
- 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
- Exit cleanly with an exit code.☆12May 2, 2026Updated last month
- A personal wiki for Atom☆12Jun 8, 2016Updated 10 years ago
- Interface to Clojure's Analyzer☆69Mar 12, 2013Updated 13 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