typedclojure/typed-clojure-mode

Stars
46
Rank 594,887 (Top 13 %)
Language
Emacs Lisp
Created over 10 years ago
Updated over 8 years ago

typedclojure/typed-clojure-mode

typedclojure

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

Typed Clojure minor mode for Emacs

typedclojure

An optional type system for Clojure

lein-typed

Leiningen plugin for Typed Clojure

vim-typedclojure

The Typed Clojure plugin for Vim + vim-fireplace

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.