Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
☆11Sep 27, 2023Updated 2 years ago
Alternatives and similar repositories for halite
Users that are interested in halite are comparing it to the libraries listed below
Sorting:
- Search and replace in HTML5 strings.☆12Nov 21, 2023Updated 2 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- Porting Jena to the IGraph protocol☆15Jul 19, 2023Updated 2 years ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆12Aug 31, 2023Updated 2 years ago
- Basic RDF Datatypes☆15Feb 23, 2026Updated 3 weeks ago
- ☆10Nov 11, 2019Updated 6 years ago
- A ClojureScript HTTP library that runs under node.js☆13Jul 8, 2018Updated 7 years ago
- More documentation tags in Clojure metadata☆17Mar 2, 2022Updated 4 years ago
- A log dashboard tool powered by Clerk and Lucene☆33Feb 9, 2023Updated 3 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- Command line tool for interacting with the Apple Dev Center☆23Apr 7, 2012Updated 13 years ago
- Quick and dirty directed graph viewer for REPL explorations.☆25Dec 22, 2023Updated 2 years ago
- Coding on the fly, from take-off to landing, with a tools.deps reloadable build library☆22Feb 15, 2023Updated 3 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆14Nov 4, 2023Updated 2 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Jan 30, 2026Updated last month
- A high-performance implementation of the rope data structure for Clojure.☆22May 30, 2025Updated 9 months ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 7 years ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- A simple Clojure (JVM) library for doing health checks over a given duration.☆13Sep 18, 2022Updated 3 years ago
- A Clojure library designed to compress/decompress data.☆13Feb 4, 2020Updated 6 years ago
- emacs for data☆12Aug 1, 2018Updated 7 years ago
- Write full featured CSS as Clojure data structures, inline☆19Sep 5, 2021Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- ☆12Aug 21, 2021Updated 4 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- A tool for reading and writing org content via clojure☆14Feb 1, 2025Updated last year
- a small theorem prover in clojure☆18Mar 12, 2023Updated 3 years ago
- A clojure wrapper for the libgraphviz c libraries.☆28Jan 12, 2026Updated 2 months ago
- Dev-time datafy and nav☆21Jul 15, 2024Updated last year
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- Context pipelines☆39Feb 28, 2026Updated 3 weeks ago
- A container supporting the compilers course on edX for building a Cool compiler☆12Jan 9, 2024Updated 2 years ago
- Clojure Solr 8 wrapper☆20Jul 21, 2023Updated 2 years ago
- Fast Clojure interpreter and template engine☆14Oct 15, 2021Updated 4 years ago
- Utilities for targeting different compilation environments in Clojure/script☆15Apr 10, 2021Updated 4 years ago
- SQL done right (Postgres only)☆13Mar 11, 2021Updated 5 years ago
- Configurable Clojure library for converting markdown to HTML.☆28Feb 5, 2022Updated 4 years ago
- ☆188Oct 31, 2019Updated 6 years ago