typedclojure/vim-typedclojure

Stars
55
Rank 522,327 (Top 11 %)
Language
Vim Script
Created over 10 years ago
Updated about 10 years ago

typedclojure/vim-typedclojure

typedclojure

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

The Typed Clojure plugin for Vim + vim-fireplace

typedclojure

An optional type system for Clojure

lein-typed

Leiningen plugin for Typed Clojure

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.