currentoor / untangled-starterView external linksLinks
☆12Jul 18, 2016Updated 9 years ago
Alternatives and similar repositories for untangled-starter
Users that are interested in untangled-starter are comparing it to the libraries listed below
Sorting:
- An extensible wrapper around Datomic's pull API.☆31May 15, 2018Updated 7 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- a simple example project using noir, overtone, and my cljs libraries☆24Nov 20, 2012Updated 13 years ago
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language☆25Mar 23, 2011Updated 14 years ago
- ☆11Dec 27, 2023Updated 2 years ago
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 10 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆10Mar 21, 2023Updated 2 years ago
- verifiable contracts using temporal modal logic☆18Feb 7, 2026Updated last week
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- TUS protocol for resumable file uploads via HTTP☆14Nov 5, 2024Updated last year
- Clojure Google Spreadsheet API Demo☆10Mar 18, 2016Updated 9 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- Crime Doesn't Climb in San Francisco☆100Jan 29, 2014Updated 12 years ago
- Sample code in MMIX assembly language☆11Jan 25, 2022Updated 4 years ago
- A React component that allows for editing and autosave behaviour, combining an Apollo Query and Mutation.☆10Nov 5, 2018Updated 7 years ago
- A utility to manage HTTP requests from APL☆12Updated this week
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last week
- Code and templates required to build the DARPA open catalog.☆17Mar 23, 2016Updated 9 years ago
- Ideal Hash Array Mapped Tries: an Erlang functional datatype☆18Nov 15, 2013Updated 12 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- 🦋 atproto Clojure SDK☆14Feb 10, 2025Updated last year
- Express datomic schema and constraints concisely. Datomic Schematode transforms it into transactable datomic schema.☆17Oct 13, 2015Updated 10 years ago
- Boot task for syncing local directory with AWS S3 bucket☆11Nov 14, 2017Updated 8 years ago
- An Emas Major Mode for editing Answer Set Programs☆12Apr 4, 2018Updated 7 years ago
- ☆15Aug 30, 2015Updated 10 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- My Terminal theme/settings☆13Jan 1, 2017Updated 9 years ago
- BSON support for PostgreSQL☆30Dec 12, 2013Updated 12 years ago
- ☆12Jan 1, 2026Updated last month
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 9 years ago
- Slack client for Emacs☆12Feb 9, 2016Updated 10 years ago