Online partial evaluator for pure Prolog programs (with built-ins)
☆12Jan 12, 2026Updated last month
Alternatives and similar repositories for ecce
Users that are interested in ecce are comparing it to the libraries listed below
Sorting:
- ☆11Sep 21, 2025Updated 5 months ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Web-based IDE for Logic Programming☆25Feb 17, 2026Updated 2 weeks ago
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- Bringing Prolog to the masses.☆36Mar 7, 2022Updated 3 years ago
- Void Linux installer implemented in GNU Prolog.☆44Jul 17, 2024Updated last year
- CLP(BNR) module for SWI-Prolog☆44Updated this week
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- Bayesian bandit implementation for Node and the browser.☆45Aug 10, 2017Updated 8 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 6 years ago
- Android app to search street art objects near you.☆10Jul 17, 2016Updated 9 years ago
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated last month
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆40Jan 5, 2019Updated 7 years ago
- An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.☆47Oct 7, 2018Updated 7 years ago
- ☆10Oct 15, 2016Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- FeedHenry CLI, the Command Line Interface to FeedHenry☆26Nov 20, 2018Updated 7 years ago
- The Unframework☆24Jan 26, 2012Updated 14 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 9 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Nov 5, 2011Updated 14 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Fork of Roberto Saccon's ErlyJs☆12May 2, 2013Updated 12 years ago
- ☆10Apr 23, 2017Updated 8 years ago
- Framework for creating web applications using Logtalk☆12Apr 12, 2023Updated 2 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Blender to Renderman Exporter☆15Sep 18, 2011Updated 14 years ago
- ☆12May 23, 2012Updated 13 years ago
- Java version of the card game Dominion☆14Oct 25, 2010Updated 15 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- JavaScript Lint☆26Apr 8, 2022Updated 3 years ago
- ☆21May 28, 2024Updated last year