sllam/comingle external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sllam/comingle

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sllam/comingle)

Close

sllam / comingleView on GitHubMore

• External links
• Readme badge

CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles

☆36Nov 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

• cuplv / chimpcheck

  View on GitHub
  Combinator Library for writing test generators and test properties for Android Apps
  ☆12Jul 26, 2019Updated 6 years ago
• SWI-Prolog / packages-chr

  View on GitHub
  CHR: Leuven Constraint Handling Rules
  ☆26Feb 22, 2026Updated last week
• lkuper / lvar-examples

  View on GitHub
  Programming with LVars, by example
  ☆36Jul 20, 2015Updated 10 years ago
• mndrix / spawn

  View on GitHub
  Easy concurrency for Prolog
  ☆13May 30, 2014Updated 11 years ago
• JanWielemaker / swi-chat

  View on GitHub
  Demo SWI-Prolog HTTP based chat server
  ☆19Nov 2, 2016Updated 9 years ago
• flavioc / cl-meld

  View on GitHub
  Meld compiler written in Common Lisp
  ☆13Nov 20, 2015Updated 10 years ago
• fnogatz / CHR.js

  View on GitHub
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Oct 27, 2023Updated 2 years ago
• jtristan / stump-learnable

  View on GitHub
  ☆16Dec 9, 2020Updated 5 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• rla / prolog-target-js

  View on GitHub
  Simple Prolog to JS transpiler
  ☆20Oct 19, 2012Updated 13 years ago
• CategoricalData / HoTT-categories

  View on GitHub
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Jan 10, 2014Updated 12 years ago
• flavioc / meld

  View on GitHub
  Meld virtual machine.
  ☆28Nov 20, 2015Updated 10 years ago
• archhaskell / archlinux

  View on GitHub
  ☆24Jun 2, 2015Updated 10 years ago
• edwinb / Ivor

  View on GitHub
  A type theory based theorem proving library
  ☆25Aug 23, 2011Updated 14 years ago
• clf / celf

  View on GitHub
  ☆64Jun 24, 2019Updated 6 years ago
• Dhole / rust-tor-controller

  View on GitHub
  Rust Tor Controller library
  ☆24Apr 19, 2020Updated 5 years ago
• agda / ooAgda

  View on GitHub
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Nov 29, 2025Updated 3 months ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• jandom-devel / Jandom

  View on GitHub
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Mar 23, 2022Updated 3 years ago
• blakemcbride / LispEdit

  View on GitHub
  Common Lisp Structure Editor
  ☆24Nov 9, 2024Updated last year
• clf / lollimon

  View on GitHub
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Oct 14, 2011Updated 14 years ago
• Lambda-X / snake-game

  View on GitHub
  Snake game written in ClojureScript using reagent/re-frame
  ☆18Jan 20, 2016Updated 10 years ago
• jinhuang / hyperx

  View on GitHub
  A Spark Based Scalable Framework for Efficient Hypergraph Processing
  ☆23Jul 20, 2015Updated 10 years ago
• curiosity-driven / prolog-interpreter

  View on GitHub
  Simple prolog interpreter using ES6 generators
  ☆62Feb 19, 2015Updated 11 years ago
• agda-attic / agda-frp-ltl

  View on GitHub
  An implementation of Functional Reactive Programming
  ☆41Mar 2, 2015Updated 11 years ago
• svenssonjoel / Obsidian

  View on GitHub
  Obsidian Language Repository
  ☆41May 23, 2018Updated 7 years ago
• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• manthan98 / Cochlear-Implant-Processor

  View on GitHub
  Cochlear implant signal processing
  ☆10Jun 24, 2021Updated 4 years ago
• JanWielemaker / swi-prolog-wasm

  View on GitHub
  SWI-Prolog ported to WebAssembly
  ☆40Jun 21, 2018Updated 7 years ago
• cjdev2 / test-fixture

  View on GitHub
  Testing with monadic side-effects
  ☆33Jun 24, 2021Updated 4 years ago
• aa755 / ROSCoq

  View on GitHub
  Robots powered by Constructive Reals
  ☆34Nov 3, 2017Updated 8 years ago
• crypto-agda / crypto-agda

  View on GitHub
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Aug 8, 2015Updated 10 years ago
• uhc / uhc

  View on GitHub
  Utrecht Haskell Compiler
  ☆42Apr 2, 2012Updated 13 years ago
• iocane / unbox

  View on GitHub
  GPL licensed J interpreter
  ☆38Jun 20, 2016Updated 9 years ago
• enso-lang / enso

  View on GitHub
  ☆71Jun 12, 2020Updated 5 years ago
• envis10n / libtelnet-rs

  View on GitHub
  libtelnet-esque parser for rust.
  ☆12Dec 1, 2023Updated 2 years ago
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• KeychainMDIP / kc

  View on GitHub
  Multi Dimensional Identity Protocol (MDIP) reference implementation
  ☆14Updated this week
• mnieper / gravity

  View on GitHub
  A little book on General Relativity and Einstein–Cartan Theory
  ☆16Mar 13, 2014Updated 11 years ago