The J-Bob proof assistant from The Little Prover in Clojure
☆61Nov 3, 2015Updated 10 years ago
Alternatives and similar repositories for clj-bob
Users that are interested in clj-bob are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Use ClojureScript to write iOS functional tests☆20Nov 19, 2015Updated 10 years ago
- Yet another ClojureScript UI framework☆32Aug 13, 2015Updated 11 years ago
- emacs assistant for sniping dead code.☆89Aug 5, 2015Updated 11 years ago
- SICP in Clojure with clojure.core.typed☆18Oct 31, 2015Updated 10 years ago
- [DEPRECATED] Tooling support for ClojureScript☆60Feb 8, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Turn Prismatic schemas into generated data.☆34Sep 4, 2015Updated 11 years ago
- A plugin for configuring, co-ordinating and reloading Components☆68Aug 18, 2018Updated 8 years ago
- 99 Prolog Problems in Clojure core.logic☆18Nov 27, 2012Updated 13 years ago
- Clojure library for serializing Clojure data using Kryo☆30Feb 12, 2016Updated 10 years ago
- Timings for type- and value-based dispatch☆10Dec 12, 2024Updated last year
- Beautiful api documentation generator for Clojure.☆13Jun 17, 2016Updated 10 years ago
- Emacs functions for quickly creating Clojure and ClojureScript repls for a project☆33Jun 20, 2016Updated 10 years ago
- An example of deploying using the app-deploy-crate, using a demo webapp project☆12May 2, 2013Updated 13 years ago
- Codeq-related recipes (eg, queries, rules, schemas)☆12Dec 30, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Create Clojure maps whose values are only calculated when accessed, either from data or from java objects.☆49May 27, 2020Updated 6 years ago
- A shim to create a clojure-friendly servlet container interface.☆14Sep 18, 2015Updated 11 years ago
- Structural typing for Clojure, somewhat inspired by Elm. Tailored to "flow-style" programming, where complex structures flow through a se…☆245Sep 5, 2016Updated 10 years ago
- Automatic Design of Algorithms Through X☆20Dec 21, 2014Updated 11 years ago
- Spec-driven Clojure GraphQL server☆68Mar 25, 2022Updated 4 years ago
- Clean up generated reflection configs for GraalVM native-image compiled Clojure programs☆19Jun 30, 2021Updated 5 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Jun 7, 2017Updated 9 years ago
- A library for serializing Prismatic Schema definitions with Transit.☆31Sep 21, 2020Updated 6 years ago
- fuzzy filtering of clojure sequences☆21Nov 14, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Clojure syntax checker (via Joker) for flycheck☆57Apr 12, 2020Updated 6 years ago
- A persistent confluent map for Clojure☆39Feb 26, 2016Updated 10 years ago
- Yet Another Markup Parser☆14Apr 24, 2021Updated 5 years ago
- Experiments with Clojure / Sumatra / Graal and, ultimately, Clojure compiled onto GPGPU...☆43Feb 14, 2015Updated 11 years ago
- ClojureScript REPL iOS app☆397Oct 28, 2023Updated 2 years ago
- trace as data for Clojure/JVM☆85Jun 30, 2017Updated 9 years ago
- A skeleton app built with Datomic, Compojure, and Om☆114Apr 17, 2017Updated 9 years ago
- Clojure reducers, but for parallel execution: locally and on distributed systems.☆892Jul 17, 2026Updated 3 months ago
- Shows you how you can (hackily) use CommonJS-based libraries in Clojurescript☆11Sep 20, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 9 years ago
- a postgis extension to korma - the tasty clojure sql library☆11Sep 22, 2014Updated 12 years ago
- Better exception reporting middleware for Ring.☆511Sep 13, 2024Updated 2 years ago
- Useful Clojure utilities!☆16Oct 4, 2015Updated 11 years ago
- ClojureScript browser REPL using WebSockets☆323Sep 15, 2026Updated last month
- Experiments in transforming from React Native JSX/Flow into Closure Modules☆30Sep 7, 2015Updated 11 years ago
- Experimental collaborative text editor built on CRDTs☆27Jun 25, 2014Updated 12 years ago