Typed Clojure's repositories
typedclojure
An optional type system for Clojure
lein-typed
Leiningen plugin for Typed Clojure
vim-typedclojure
The Typed Clojure plugin for Vim + vim-fireplace
typed-clojure-mode
Typed Clojure minor mode for Emacs
auto-annotation
A demo for Automatic Annotation inference for Typed Clojure
core.typed
Mirror of core.typed for internal development.
screencasts
Typed Clojure screencasts
typed-repl
Demo of core.typed integration into Clojure's compilation pipeline
light-typedclojure
Typed Clojure plugin for Light Table
gradual-untyped-import
Demo for core.typed features
let-error-demo
Demo improved error messages for destructuring
core.typed-dev
Scripts to help local dev work on core.typed.
core.typed.lang.jvm
Extensible languages in Clojure, a la Racket's #lang.
core.typed.lib.clojure
Type annotations and macros for the base Clojure distribution.
core.typed-template
Template for creating new core.typed repositories from.
core.typed.analyzer.jvm
Dev mirror of https://github.com/clojure/core.typed.analyzer.jvm
core.typed.annotator.jvm
Dev mirror of https://github.com/clojure/core.typed.annotator.jvm
houston-talk
Code for Houston Clojure User Group talk
infer-vars
Demo for :infer-vars core.typed feature
mranderson
Leiningen plugin to download and use some dependencies as source.
test-runner
Merged #13 and #16 PR's from cognitect-labs