typedclojure/auto-annotation

This repository has been archived on 11/Nov/2018
Stars
22
Rank 1,048,934 (Top 21 %)
Language
Clojure
License
Eclipse Public Li...
Created over 8 years ago
Updated about 8 years ago

typedclojure/auto-annotation

typedclojure

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

A demo for Automatic Annotation inference for Typed Clojure

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

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.