sllam / comingleView external linksLinks
CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
☆33Nov 30, 2016Updated 9 years ago
Alternatives and similar repositories for comingle
Users that are interested in comingle are comparing it to the libraries listed below
Sorting:
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Easy concurrency for Prolog☆13May 30, 2014Updated 11 years ago
- Meld compiler written in Common Lisp☆13Nov 20, 2015Updated 10 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Oct 27, 2023Updated 2 years ago
- Simple Prolog to JS transpiler☆20Oct 19, 2012Updated 13 years ago
- Meld virtual machine.☆28Nov 20, 2015Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- ☆24Jun 2, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- ☆64Jun 24, 2019Updated 6 years ago
- Rust Tor Controller library☆24Apr 19, 2020Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 2 months ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Snake game written in ClojureScript using reagent/re-frame☆18Jan 20, 2016Updated 10 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- A Spark Based Scalable Framework for Efficient Hypergraph Processing☆23Jul 20, 2015Updated 10 years ago
- Common Lisp Structure Editor☆25Nov 9, 2024Updated last year
- Simple prolog interpreter using ES6 generators☆62Feb 19, 2015Updated 10 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 10 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Obsidian Language Repository☆41May 23, 2018Updated 7 years ago
- A collection of Prolog libraries.☆88Aug 31, 2024Updated last year
- SWI-Prolog ported to WebAssembly☆40Jun 21, 2018Updated 7 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- GPL licensed J interpreter☆38Jun 20, 2016Updated 9 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- libtelnet-esque parser for rust.☆12Dec 1, 2023Updated 2 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago