Viasat / haliteLinks
Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
☆11Updated last year
Alternatives and similar repositories for halite
Users that are interested in halite are comparing it to the libraries listed below
Sorting:
- Clojure bindings for CozoDb☆26Updated last year
- Research and Innovation Group - 9P library for Clojure☆21Updated last year
- phlegyas: an implementation of 9P2000 in Clojure.☆14Updated 2 years ago
- A Clojure coding tool☆20Updated last year
- Krestianstvo | Electric - Clojure. Implementing a scalable Croquet VM.☆30Updated last year
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆16Updated 2 years ago
- A desktop viewer for clerk.☆13Updated 2 years ago
- ☆16Updated 3 years ago
- A Clojure library exploring the application of pure reasoning algorithms.☆26Updated last month
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated last year
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Updated 5 years ago
- A log dashboard tool powered by Clerk and Lucene☆32Updated 2 years ago
- GNU APL native interop for Clojure☆29Updated 3 years ago
- provide upgraded replacements for Clojure editor infrastructure☆33Updated last year
- REPL-driven data visualizations with Clojure and Vega/Vega-Lite in the browser☆24Updated 4 years ago
- A Clojure iteration macro inspired by Common Lisp iterate.☆46Updated 15 years ago
- A Tiny Clojure Interpreter☆73Updated 8 months ago
- Discrete Event Simulation Specification☆76Updated 3 years ago
- An alternate syntax for Clojure inspired by Pollen.☆45Updated 2 years ago
- Matrix of Open Source Clojure Datalog Databases☆26Updated 2 years ago
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Updated 2 years ago
- Faster clojure.set functions.☆29Updated 10 months ago
- A time-traveling graph database☆19Updated 3 years ago
- Wrappers of SWI and TuProlog in Clojure☆49Updated 3 years ago
- Natural Language Processing for Clojure's common Datalog flavor☆41Updated 5 years ago
- Crux on S3+DynamoDB☆16Updated 5 years ago
- A clojure wrapper for webgpu-native☆12Updated 8 months ago
- A WebAssembly based playground for Janet a la play.golang.org☆12Updated 3 weeks ago
- Search and replace in HTML5 strings.☆12Updated last year
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 5 years ago