Mirror of core.typed for internal development.
Leiningen plugin for Typed Clojure
Demo for :infer-vars core.typed feature
A demo for Automatic Annotation inference for Typed Clojure
Code to accompany ESOP 2016 paper
Code for Houston Clojure User Group talk
Leiningen plugin to download and use some dependencies as source.
Demo for core.typed features
Typed Clojure minor mode for Emacs
Runnable examples for Typed Clojure paper
Typed Clojure screencasts
Demo of core.typed integration into Clojure's compilation pipeline
The Typed Clojure plugin for Vim + vim-fireplace
Typed Clojure plugin for Light Table
Stricter operations for Typed Clojure, inspired by Scala collections
An example project using core.typed.