typedclojure/typedclojure

An optional type system for Clojure

Language: Clojure - Size: 16.7 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 561 - Forks: 8

typedclojure/lein-typed

Leiningen plugin for Typed Clojure

Language: Clojure - Size: 40 KB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 83 - Forks: 2

typedclojure/strict-typed-ops

Stricter operations for Typed Clojure, inspired by Scala collections

Language: Clojure - Size: 180 KB - Last synced at: 10 days ago - Pushed at: almost 12 years ago - Stars: 9 - Forks: 0

typedclojure/vim-typedclojure

The Typed Clojure plugin for Vim + vim-fireplace

Language: VimL - Size: 394 KB - Last synced at: 7 months ago - Pushed at: over 11 years ago - Stars: 55 - Forks: 1

typedclojure/examples

Runnable examples for Typed Clojure paper

Language: Shell - Size: 145 KB - Last synced at: over 1 year ago - Pushed at: over 10 years ago - Stars: 12 - Forks: 0

typedclojure/typedclojure.org

Language: CSS - Size: 502 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

typedclojure/typed-clojure-mode

Typed Clojure minor mode for Emacs

Language: Emacs Lisp - Size: 1.23 MB - Last synced at: 6 months ago - Pushed at: about 10 years ago - Stars: 46 - Forks: 4

typedclojure/let-error-demo

Demo improved error messages for destructuring

Language: Clojure - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

typedclojure/infer-vars 📦

Demo for :infer-vars core.typed feature

Language: Clojure - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

typedclojure/typed-repl 📦

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

Language: Clojure - Size: 117 KB - Last synced at: over 1 year ago - Pushed at: over 10 years ago - Stars: 9 - Forks: 0

typedclojure/auto-annotation 📦

A demo for Automatic Annotation inference for Typed Clojure

Language: Clojure - Size: 19.5 KB - Last synced at: 6 months ago - Pushed at: about 9 years ago - Stars: 22 - Forks: 0

typedclojure/screencasts 📦

Typed Clojure screencasts

Language: Clojure - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: over 10 years ago - Stars: 9 - Forks: 0

typedclojure/houston-talk 📦

Code for Houston Clojure User Group talk

Language: Clojure - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed-example 📦

An example project using core.typed.

Language: Clojure - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: about 12 years ago - Stars: 12 - Forks: 1

typedclojure/core.typed-split 📦

Language: HTML - Size: 10.2 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed.lib.clojure 📦

Type annotations and macros for the base Clojure distribution.

Language: Clojure - Size: 32.2 KB - Last synced at: 10 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

typedclojure/core.typed-template 📦

Template for creating new core.typed repositories from.

Language: HTML - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed.lang.jvm 📦

Extensible languages in Clojure, a la Racket's #lang.

Language: HTML - Size: 33.2 KB - Last synced at: 10 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

typedclojure/core.typed.checker.js 📦

Language: Clojure - Size: 79.1 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

typedclojure/core.typed.checker.jvm 📦

Language: Clojure - Size: 9.34 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed.analyzer.jvm 📦

Dev mirror of https://github.com/clojure/core.typed.analyzer.jvm

Language: Clojure - Size: 10.2 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed.annotator.jvm 📦

Dev mirror of https://github.com/clojure/core.typed.annotator.jvm

Language: Clojure - Size: 284 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed.runtime.jvm 📦

Language: Clojure - Size: 10.2 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

typedclojure/core.typed Fork of clojure/core.typed 📦

Mirror of core.typed for internal development.

Language: Clojure - Size: 14.5 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 15 - Forks: 4

typedclojure/core.typed-dev 📦

Scripts to help local dev work on core.typed.

Language: Shell - Size: 28.3 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

typedclojure/esop16

Code to accompany ESOP 2016 paper

Language: Shell - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 12 - Forks: 3

typedclojure/test-runner Fork of cognitect-labs/test-runner

Merged #13 and #16 PR's from cognitect-labs

Language: Clojure - Size: 32.2 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

typedclojure/spec-alpha2 Fork of clojure/spec-alpha2

Language: Clojure - Size: 664 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

typedclojure/light-typedclojure Fork of tapeinosyne/light-typedclojure

Typed Clojure plugin for Light Table

Language: JavaScript - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 11 years ago - Stars: 4 - Forks: 0

typedclojure/boot-typedclojure

Language: HTML - Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

typedclojure/gradual-untyped-import

Demo for core.typed features

Language: Clojure - Size: 109 KB - Last synced at: over 1 year ago - Pushed at: about 10 years ago - Stars: 2 - Forks: 0

typedclojure/core.typed-test-suite

core.typed tests

Language: Clojure - Size: 199 KB - Last synced at: over 1 year ago - Pushed at: over 11 years ago - Stars: 1 - Forks: 0

typedclojure/mranderson Fork of benedekfazekas/mranderson

Leiningen plugin to download and use some dependencies as source.

Language: Clojure - Size: 124 KB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0