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
☆10Updated last year
Alternatives and similar repositories for halite
Users that are interested in halite are comparing it to the libraries listed below
Sorting:
- Research and Innovation Group - 9P library for Clojure☆21Updated last year
- Clojure bindings for CozoDb☆26Updated last year
- Krestianstvo | Electric - Clojure. Implementing a scalable Croquet VM.☆30Updated last year
- A Clojure coding tool☆20Updated last year
- A Clojure iteration macro inspired by Common Lisp iterate.☆46Updated 15 years ago
- Property-based testing with inputs defined as EBNF grammars☆28Updated 8 months ago
- phlegyas: an implementation of 9P2000 in Clojure.☆14Updated 2 years ago
- ☆16Updated 3 years ago
- A log dashboard tool powered by Clerk and Lucene☆32Updated 2 years ago
- A desktop viewer for clerk.☆13Updated 2 years ago
- A proof of concept to demonstrate using re-frame for desktop and terminal apps.☆14Updated 2 years ago
- Things wanted or needed but missing from clojure.core☆20Updated this week
- A Clojure library exploring the application of pure reasoning algorithms.☆26Updated 3 weeks ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Updated 5 years ago
- An alternate syntax for Clojure inspired by Pollen.☆45Updated 2 years ago
- Faster clojure.set functions.☆29Updated 10 months ago
- Extensible Clojure☆107Updated 9 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated last year
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Updated 2 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆15Updated 2 years ago
- whitespace-aware Clojure source code manipulation.☆18Updated 7 years ago
- A Clojure library for writing self-optimizing interpreters☆29Updated 5 years ago
- Collection of timeseries technical analysis indicators☆17Updated 2 years ago
- Crux on S3+DynamoDB☆16Updated 5 years ago
- GNU APL native interop for Clojure☆29Updated 3 years ago
- REPL-driven data visualizations with Clojure and Vega/Vega-Lite in the browser☆24Updated 4 years ago
- Natural Language Processing for Clojure's common Datalog flavor☆41Updated 5 years ago
- Pretty print clojure.spec forms☆15Updated 5 years ago
- Concrete/Abstract Syntax Trees for Clojure☆15Updated 5 years ago
- ready-made workflow steps for titanoboa☆15Updated 3 years ago