typedclojure/core.typed-dev typedclojure/core.typed-dev

  • This repository has been archived on 24/Dec/2020
  • Stars
    star
    1
  • Language
    Shell
  • Created almost 6 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
typedclojure/core.typed-dev
github

typedclojure

Reviews

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

Repository Details

Scripts to help local dev work on core.typed.

More Repositories

1

typedclojure

An optional type system for Clojure
Clojure
429
star
2

lein-typed

Leiningen plugin for Typed Clojure
Clojure
82
star
3

vim-typedclojure

The Typed Clojure plugin for Vim + vim-fireplace
Vim Script
55
star
4

typed-clojure-mode

Typed Clojure minor mode for Emacs
Emacs Lisp
46
star
5

auto-annotation

A demo for Automatic Annotation inference for Typed Clojure
Clojure
22
star
6

core.typed-example

An example project using core.typed.
Clojure
12
star
7

esop16

Code to accompany ESOP 2016 paper
Shell
12
star
8

examples

Runnable examples for Typed Clojure paper
Shell
12
star
9

strict-typed-ops

Stricter operations for Typed Clojure, inspired by Scala collections
Clojure
10
star
10

screencasts

Typed Clojure screencasts
Clojure
9
star
11

typed-repl

Demo of core.typed integration into Clojure's compilation pipeline
Clojure
9
star
12

gradual-untyped-import

Demo for core.typed features
Clojure
2
star
13

typedclojure.org

CSS
2
star
14

let-error-demo

Demo improved error messages for destructuring
Clojure
2
star
15

core.typed.checker.js

Clojure
2
star
16

core.typed-test-suite

core.typed tests
Clojure
1
star
17

core.typed.lang.jvm

Extensible languages in Clojure, a la Racket's #lang.
HTML
1
star
18

core.typed.lib.clojure

Type annotations and macros for the base Clojure distribution.
Clojure
1
star