typedclojure/core.typed-example

This repository has been archived on 11/Nov/2018
Stars
12
Rank 1,597,372 (Top 32 %)
Language
Clojure
Created over 11 years ago
Updated about 11 years ago

typedclojure/core.typed-example

typedclojure

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

An example project using core.typed.

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

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.