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
Sorting:
- Yet another ClojureScript UI framework☆32Aug 13, 2015Updated 10 years ago
- ClojureScript wrapper for React Bootstrap☆59May 23, 2018Updated 7 years ago
- Beautiful api documentation generator for Clojure.☆13Jun 17, 2016Updated 9 years ago
- A library for serializing Prismatic Schema definitions with Transit.☆31Sep 21, 2020Updated 5 years ago
- emacs assistant for sniping dead code.☆88Aug 5, 2015Updated 10 years ago
- A plugin for configuring, co-ordinating and reloading Components☆68Aug 18, 2018Updated 7 years ago
- ☆436Feb 8, 2024Updated 2 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Jun 7, 2017Updated 8 years ago
- Searching for help in clojurdocs.org with helm☆10Apr 5, 2016Updated 9 years ago
- Timings for type- and value-based dispatch☆10Dec 12, 2024Updated last year
- Syntax threading macros for Clojure☆206Jun 20, 2015Updated 10 years ago
- A clojure/clojurescript whiteboard for interactive drawing in the browser☆12Jan 8, 2021Updated 5 years ago
- Shows you how you can (hackily) use CommonJS-based libraries in Clojurescript☆11Sep 20, 2015Updated 10 years ago
- template project for exploring Clojure☆38May 27, 2015Updated 10 years ago
- core.async for self-hosted ClojureScript☆100Apr 1, 2020Updated 5 years ago
- ClojureScript compiling ClojureScript☆164Jul 27, 2015Updated 10 years ago
- Yet Another Markup Parser☆14Apr 24, 2021Updated 4 years ago
- ☆11May 18, 2016Updated 9 years ago
- Eventually consistent datatypes for Clojure.☆14Apr 25, 2016Updated 9 years ago
- Turn Prismatic schemas into generated data.☆33Sep 4, 2015Updated 10 years ago
- Use embedded R from Clojure and Incanter☆115Sep 15, 2020Updated 5 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 9 years ago
- A persistent confluent map for Clojure☆39Feb 26, 2016Updated 10 years ago
- ClojureScript compiling ClojureScript☆98Nov 1, 2015Updated 10 years ago
- A friendly Clojurescript toolkit☆13Dec 3, 2022Updated 3 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 years ago
- The website for the book, Clojure Data Analysis Cookbook.☆27Jun 21, 2020Updated 5 years ago
- Undo the effect of Clojure stacktrace pretty-printers☆20Aug 22, 2014Updated 11 years ago
- Light Table plugin providing refactoring support for clojure☆55Jun 28, 2018Updated 7 years ago
- Working through SICP using Clojure instead of Scheme☆34Jun 28, 2010Updated 15 years ago
- Demo of a restartable back-end in the REPL + hot-reloadable front-end in the browser.☆130Sep 30, 2017Updated 8 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- A boot task reporting build status to AnyBar☆18Jun 1, 2015Updated 10 years ago
- Multi person REPL & lets developers share information on CIDER nREPL sessions☆21Mar 13, 2016Updated 9 years ago
- Yet another (but somewhat novel) virtual DOM library☆121Aug 3, 2015Updated 10 years ago
- Instrumentation helpers for Om applications☆159Sep 5, 2015Updated 10 years ago
- Spec-driven Clojure GraphQL server☆68Mar 25, 2022Updated 3 years ago
- ClojureScript API parser☆196Dec 13, 2025Updated 2 months ago
- A literate clojure implementation of microKanren☆69Sep 16, 2019Updated 6 years ago