sllam / comingle
CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
☆32Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for comingle
- The Ynot Project source code.☆21Updated 10 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- ☆29Updated 9 years ago
- generative programming & verification☆32Updated 3 years ago
- Model finder for higher-order logic☆41Updated 11 months ago
- ☆51Updated last month
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Bedrock Bit Vector Library☆27Updated 8 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- αProlog☆17Updated last year
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆41Updated 4 months ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- Maude Formal Environment☆17Updated 4 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- A best-first-search theorem prover implemented in Isabelle☆33Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- The language of the future!☆72Updated 10 months ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year