typedclojure/typedclojure.org

Stars
2
Language
CSS
Created about 11 years ago
Updated about 1 year ago

typedclojure/typedclojure.org

typedclojure

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

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-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

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.