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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.☆45Jan 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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☆155Mar 30, 2026Updated last week
- 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
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 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