typedclojure/lein-typed

Stars
82
Rank 396,546 (Top 8 %)
Language
Clojure
Created about 12 years ago
Updated over 5 years ago

typedclojure/lein-typed

typedclojure

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Leiningen plugin for Typed Clojure

typedclojure

An optional type system for 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-example

An example project using core.typed.

esop16

Code to accompany ESOP 2016 paper

examples

Runnable examples for Typed Clojure paper

strict-typed-ops

Stricter operations for Typed Clojure, inspired by Scala collections

screencasts

Typed Clojure screencasts

typed-repl

Demo of core.typed integration into Clojure's compilation pipeline

gradual-untyped-import

Demo for core.typed features

typedclojure.org

let-error-demo

Demo improved error messages for destructuring

core.typed.checker.js

core.typed-test-suite

core.typed tests

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.