Clojure bindings for Scryer Prolog
☆19Feb 16, 2025Updated last year
Alternatives and similar repositories for libscryer-clj
Users that are interested in libscryer-clj are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exploration into Datastar's interoperability with third-party JavaScript libraries☆12Oct 16, 2025Updated last year
- Wrappers of SWI and TuProlog in Clojure☆50May 14, 2022Updated 4 years ago
- A lightweight implementation of the DeepWalk algorithm for graph embedding in Clojure.☆24Mar 16, 2025Updated last year
- Open an NREPL session from an existing python process☆29Sep 19, 2020Updated 6 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Nov 10, 2023Updated 2 years ago
- A self-replicating software nanobot. Forth interpreter + S-expression mesh protocol + genetic programming + distributed computation + per…☆19Sep 13, 2026Updated last month
- Store arbitrary Clojure data in Datomic efficiently☆15Jan 1, 2016Updated 10 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Babashka pod for SSH support.☆62Jun 17, 2026Updated 4 months ago
- A small, language-agnostic nREPL client for Emacs☆15Oct 23, 2026Updated 2 weeks ago
- A ClojureScript focused validation library☆12Jul 4, 2025Updated last year
- Clojure implementation of the Lox programming language from the Crafting Interpreters book.☆10Mar 9, 2025Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆13Jan 12, 2026Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Small Janet PEG tracer☆15Oct 15, 2026Updated 3 weeks ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- A book about how to do common data manipulation, analysis, and visualization tasks in Clojure☆100Dec 9, 2024Updated last year
- Elisp-Babashka bridge☆17Dec 18, 2024Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- Clojure text parser with annotations using Stanford CoreNLP☆17Oct 20, 2015Updated 11 years ago
- The world's finest discussion platform☆36May 25, 2024Updated 2 years ago
- Full-stack Clojure/Script setup with deployment using Kamal☆16Jun 2, 2024Updated 2 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆15Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 8 months ago
- ClojureCLR HTTP server abstraction☆11Jun 19, 2026Updated 4 months ago
- A Clojure library for building real-time voice-enabled AI Agents. Simulflow handles the orchestration of speech recognition, audio proces…☆97Sep 3, 2025Updated last year
- Connect tech.v3.dataset to DuckDB☆41Sep 8, 2026Updated last month
- Static purity and effect analysis for Clojure.☆19Oct 24, 2026Updated 2 weeks ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- CLI tool/libary for creating config files☆19Jun 13, 2025Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 4 years ago
- ☆59May 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A small library for defining how different kinds of things should be rendered☆32Aug 3, 2026Updated 3 months ago
- MUD Server written in Prolog using Forward chaining☆30Feb 6, 2022Updated 4 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Oct 29, 2026Updated last week
- Clojure client library for the Auth0 platform☆16Dec 6, 2019Updated 6 years ago
- Web framework inspired by Seaside and UnCommonWeb☆22Jun 8, 2026Updated 4 months ago
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago