Logic-Starter. Starter Project for Introduction to Logic Programming with Clojure
221typed-clojure. DEPRECATED SEE BELOW Gradual typing for Clojure
205dynalint. Lint your Clojure programs as they run
74analyze. Interface to Clojure's Analyzer
69fully-satisfies. Utility functions for Clojure.
63hamt-tutorial. Exploration of Hash Array Mapped Tries.
42typed-clojurescript-play. Playground for Typed Clojurescript
20typescript-parser. TypeScript type declaration parser
15stream-fusion. Racket
12dependabot-lein-via-mvn. Only slightly janky dependabot support for Leiningen
8dependabot-clojure-cli-via-mvn. Only slightly janky dependabot support for Clojure CLI
6dissertation. TeX
5lein-dynalint. Leiningen plugin for Dynalint
5clojure-local-dev. A pull-request based workflow for developing and submitting Clojure patches to Jira.
5lti-model. Clojure
4spec-play. Clojure
4stl2014. Code examples for Strangeloop 2014 Typed Clojure in Practice
4compose-talk-2019. HTML
3criterium-from-java. Use Clojure's criterium benchmarking library from other JVM languages
2malli-model. Clojure
2malli. Data-Driven Schemas for Clojure/Script.
2instrument-defprotocol. Utilities to wrap defprotocol.
2thesis-proposal. TeX
2c-project-template. Template for a C project that uses Valgrind, a small unit testing framework and a small debugging framework.
2clj-plaza. clojure's rdf framework
2miniKanren-occurrence-type-inferencer. Racket
2clojure. The Clojure programming language
2trammel. Contracts programming with Clojure
2contract.typed. Boston Clojure Group presentation
2clob-shell. Clojure
1recompojure. Clojure
1toronto-2014. Clojure
1spec-alpha2. Clojure
1dynamic-inference-bib.
1overtone. Collaborative Programmable Music
1conduit. A library for stream processing in Clojure
1schema. Clojure(Script) library for declarative data description and validation
1quil-typed. (mix Processing Clojure)
1bench-update. Clojure
1core.match. Clojure
1clj-jwt. Clojure library for JSON Web Token(JWT)
1fennel-cljlib. https://gitlab.com/andreyorst/fennel-cljlib
1reitit. A fast data-driven routing library for Clojure/Script
1ambrosebs-reaper-scripts. Lua
1