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:
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Clojure Google Spreadsheet API Demo☆10Mar 18, 2016Updated 9 years ago
- A broken problem☆22Feb 28, 2026Updated last week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- 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
- 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
- Web interface for searching clojure code on github.☆24Jun 10, 2025Updated 8 months ago
- XKCD 3062☆23Mar 13, 2025Updated 11 months ago
- A book about how to do common data manipulation, analysis, and visualization tasks in Clojure☆100Dec 9, 2024Updated last year
- ☆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☆59Updated this week
- 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
- ClojureScript wrapper library generator☆31May 27, 2024Updated last year
- A Clojure library to handle validation of JWTs and signing claims using JSON Web Keys☆38Updated this week
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- tech.ml.dataset integration with duckdb☆81Sep 15, 2024Updated last year
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆63Updated this week
- My personal site.☆10Mar 1, 2026Updated last week
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- A toy dependent typed language.☆46Feb 28, 2026Updated last week
- An alternate syntax for Clojure inspired by Pollen.☆45Jun 11, 2023Updated 2 years ago
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆270Apr 4, 2024Updated last year
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- ☆12Aug 24, 2014Updated 11 years ago
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 8 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆12Dec 16, 2024Updated last year
- Visualize schema of Datomic and Datomic-like databases☆45Apr 20, 2024Updated last year