verifiable contracts using temporal modal logic
☆18Mar 3, 2026Updated this week
Alternatives and similar repositories for modality
Users that are interested in modality are comparing it to the libraries listed below
Sorting:
- ☆20Aug 19, 2025Updated 6 months ago
- Abandoned online 2D physics app and game engine with multiplayer — See `simulo_bevy` for continuation☆13May 24, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- ☆38Sep 1, 2019Updated 6 years ago
- Conversational Agent for Twitter and Discord☆10Updated this week
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- ☆12Dec 13, 2025Updated 2 months ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- ☆11Dec 27, 2023Updated 2 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- ☆14Jan 14, 2026Updated last month
- a simple example project using noir, overtone, and my cljs libraries☆24Nov 20, 2012Updated 13 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Recreation of UIndows in applicable theme form☆13Jun 9, 2022Updated 3 years ago
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated 2 weeks ago
- Template for go applications☆13Feb 25, 2026Updated last week
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- ☆10Mar 21, 2023Updated 2 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- An SAT-based Minesweeper agent.☆12May 31, 2023Updated 2 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language☆25Mar 23, 2011Updated 14 years ago
- Simple utility to read ENRs☆11Mar 17, 2025Updated 11 months ago
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 10 years ago
- Clojure Google Spreadsheet API Demo☆10Mar 18, 2016Updated 9 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- A product which offers automobiles "connected car" features beyond those of the most modern and technologically advanced luxury vehicles☆13Jul 1, 2018Updated 7 years ago
- ☆12Updated this week
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Code and templates required to build the DARPA open catalog.☆17Mar 23, 2016Updated 9 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- 🦋 atproto Clojure SDK☆14Feb 10, 2025Updated last year
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- ☆11Apr 17, 2021Updated 4 years ago
- Unofficial Hyperliquid CLI for high performance, low-latency trading and real time data monitoring☆42Feb 1, 2026Updated last month
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 9 years ago