jjtolton / libscryer-cljView external linksLinks
Clojure bindings for Scryer Prolog
☆17Feb 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
Sorting:
- A broken problem☆22Jan 17, 2026Updated 3 weeks ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Clojure Google Spreadsheet API Demo☆10Mar 18, 2016Updated 9 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Jan 22, 2026Updated 3 weeks ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- The world's finest discussion platform☆35May 25, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Full-stack Clojure/Script setup with deployment using Kamal☆14Jun 2, 2024Updated last year
- Live-narrowing, fuzzy-matching, extensible prompt framework.☆17Jun 8, 2025Updated 8 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- A lightweight implementation of the DeepWalk algorithm for graph embedding in Clojure.☆24Mar 16, 2025Updated 11 months ago
- A setf like macro for functional programming☆70Aug 1, 2020Updated 5 years ago
- XKCD 3062☆22Mar 13, 2025Updated 11 months ago
- Web interface for searching clojure code on github.☆24Jun 10, 2025Updated 8 months ago
- ☆58May 17, 2025Updated 9 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Nov 7, 2018Updated 7 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Dec 18, 2025Updated last month
- POC exploring adaptation of Datomic principles for the frontend 🤯☆34Jan 28, 2025Updated last year
- A web template with Hunchentoot, Easy-routes, Djula templates, Bulma CSS.☆31Feb 4, 2022Updated 4 years ago
- MUD Server written in Prolog using Forward chaining☆28Feb 6, 2022Updated 4 years ago
- webui bindings for Common Lisp☆40Oct 19, 2025Updated 3 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A toy dependent typed language.☆36Feb 9, 2026Updated last week
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- tech.ml.dataset integration with duckdb☆80Sep 15, 2024Updated last year
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆62Feb 6, 2026Updated last week
- bayesPop R package☆11Updated this week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 7 months ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- Choreographies in Clojure☆88Oct 29, 2024Updated last year
- Exercism exercises in Idris.☆35Feb 9, 2026Updated last week
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- Clojure client for Open Policy Agent☆11Dec 12, 2025Updated 2 months ago
- ☆12Dec 16, 2024Updated last year
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 7 years ago
- A curated list of free courses.☆11Jun 19, 2025Updated 7 months ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago