a prolog
☆30Dec 30, 2010Updated 15 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- ToneGod's graphical user-interface library for jMonkeyEngine3☆10Feb 9, 2026Updated 2 weeks ago
- A stellar cartography system☆16Feb 4, 2026Updated 3 weeks ago
- A set of visualization engines.☆14Updated this week
- My best Java class to compress any String, short or long, with any character of human history☆12Feb 16, 2026Updated last week
- Java streams utility methods for memoization☆11Dec 12, 2024Updated last year
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- A Universal Binary JSON (UBJSON) parser, renderer and builder☆10Jul 6, 2013Updated 12 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- The core library of Tensorics - a Java Library for Manipulating Multi-Dimensional Data with Pleasure☆12Oct 18, 2023Updated 2 years ago
- Configuration Space Exploration Framework☆17Oct 13, 2020Updated 5 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- [UNMAINTAINED] A Javascript-based hierarchical grid that can be used to manage and organize file/folder-like data☆22Jul 25, 2017Updated 8 years ago
- A little experiment in unit test-based object discovery☆20Oct 14, 2016Updated 9 years ago
- Over-engineered tool for symlinking dotfiles☆37Nov 13, 2013Updated 12 years ago
- An emulator of General Vision's CM1K neuromorphic chip, including modeling experiments using several popular public datasets☆11Jun 2, 2017Updated 8 years ago
- ☆30Jun 7, 2014Updated 11 years ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆15Aug 27, 2021Updated 4 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- Data Integration In Real-Time☆11Sep 8, 2022Updated 3 years ago
- linear probing hash table implementation written in C (c99)☆10Jul 8, 2018Updated 7 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- You can team up with friends and meet them in the server because you can easily see them on the map.☆17Oct 25, 2017Updated 8 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- An ansible module for interacting with the Nix package manager☆10Jan 4, 2017Updated 9 years ago
- Kubernetes, Emacs, done!☆10Feb 13, 2026Updated 2 weeks ago
- Single repository for all packages related to Lucidity app☆13Nov 18, 2017Updated 8 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- location-based resource tracking☆10Jan 30, 2022Updated 4 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- Whip up a react component for quick standalone display☆11Jul 9, 2015Updated 10 years ago
- The Integrated Earth System Model (iESM) couples GCAM (http://www.globalchange.umd.edu/gcam/) to the Community Earth System Model☆15Jun 26, 2017Updated 8 years ago
- Micro Transport Protocoll 4 Java☆11Mar 21, 2024Updated last year