Runnable examples for Typed Clojure paper
☆11Jul 2, 2015Updated 10 years ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Dec 21, 2015Updated 10 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- In the spec table☆70Aug 7, 2017Updated 8 years ago
- The JUXT Shop - a sample application built on Crux☆12May 5, 2019Updated 6 years ago
- Visualize logical condition pattern matches.☆12May 28, 2018Updated 7 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- Library for using Prismatic's Graph in large system composition... basically Graph + Lifecycle☆41Sep 24, 2015Updated 10 years ago
- YourKit from the REPL☆13Sep 21, 2016Updated 9 years ago
- Good tags for a good day!☆30Dec 22, 2017Updated 8 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- A fast GraphQL Parser for Clojure☆19May 11, 2018Updated 7 years ago
- Regular path expressions for Java object networks and Clojure data structures.☆17Oct 31, 2014Updated 11 years ago
- An experimental declarative build tool for Clojure☆16Apr 13, 2016Updated 9 years ago
- Read and write EDN from Elisp☆47Oct 9, 2020Updated 5 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- Clojurescript/Node/Reagent/Lambda Example Application☆17Aug 9, 2015Updated 10 years ago
- 1Password on the command line.☆48Mar 12, 2013Updated 13 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- A generic Om component to handle inputs☆26Oct 15, 2015Updated 10 years ago
- Steps toward Clojure, starting from zero.☆46Jan 17, 2023Updated 3 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Lint your Clojure programs as they run☆74Mar 9, 2024Updated 2 years ago
- Based on d3 tree layout, tree with ability for child nodes to have multiple parents.☆13Feb 22, 2016Updated 10 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Sep 17, 2012Updated 13 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 9 years ago
- cljs wrappers for ipfs orbitdb API☆12Dec 11, 2022Updated 3 years ago
- Boot task for syncing local directory with AWS S3 bucket☆11Nov 14, 2017Updated 8 years ago
- Dependency inlining and shadowing☆152Jul 31, 2023Updated 2 years ago
- Experimental tools for working with Clara☆21Oct 5, 2016Updated 9 years ago
- ☆13Aug 4, 2016Updated 9 years ago
- ClojureScript implementation of The Elm Architecture™ with core.async☆21Dec 2, 2017Updated 8 years ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- Tool for code reviewing in emacs' magit. Like magit-wazzup, but more powerful.☆22May 11, 2013Updated 12 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Dec 16, 2022Updated 3 years ago
- district UI module for GraphQL integration☆70Mar 12, 2024Updated 2 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Jul 24, 2023Updated 2 years ago
- ☆28May 7, 2015Updated 10 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Oct 29, 2021Updated 4 years ago