Explore @typedclojure Open Source projects

Typed Clojure (@typedclojure)

typedclojure

Stars
729
Global Org. Rank 18,908 (Top 7 %)
Registered about 11 years ago
Most used languages

Clojure
63.2 %

Shell
15.8 %

Emacs Lisp
5.3 %

HTML
5.3 %

Vim Script
5.3 %

CSS
5.3 %

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

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.