Repositories list

• typedclojure

  Public
  An optional type system for Clojure

  Clojure

  •

  Eclipse Public License 1.0

  •99 forks•594594 stars•99 issues•1515 pull requests•Updated Apr 29, 2026Apr 29, 2026

• typedclojure.org

  Public
  CSS

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• let-error-demo

  Public
  Demo improved error messages for destructuring

  Clojure

  •

  Other

  •00 forks•33 stars•00 issues•00 pull requests•Updated Aug 2, 2021Aug 2, 2021

• test-runner

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

  Clojure

  •

  Eclipse Public License 2.0

  •3636 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2021Mar 22, 2021

• spec-alpha2

  Public archive
  Clojure

  •

  Eclipse Public License 1.0

  •2424 forks•00 stars•00 issues•11 pull request•Updated Dec 20, 2020Dec 20, 2020

• core.typed.runtime.jvm

  Public archive
  Clojure

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed.lib.clojure

  Public archive
  Type annotations and macros for the base Clojure distribution.

  Clojure

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed.lang.jvm

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

  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed.annotator.jvm

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

  Clojure

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed.checker.jvm

  Public archive
  Clojure

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed.analyzer.jvm

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

  Clojure

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2020Jan 17, 2020

• core.typed-dev

  Public archive
  Scripts to help local dev work on core.typed.

  Shell

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 15, 2020Jan 15, 2020

• lein-typed

  Public
  Leiningen plugin for Typed Clojure

  Clojure

  •22 forks•8383 stars•33 issues•00 pull requests•Updated Apr 4, 2019Apr 4, 2019

• core.typed-template

  Public archive
  Template for creating new core.typed repositories from.

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 5, 2018Dec 5, 2018

• core.typed

  Public archive
  Mirror of core.typed for internal development.

  Clojure

  •7373 forks•1414 stars•00 issues•00 pull requests•Updated Nov 18, 2018Nov 18, 2018

• core.typed.checker.js

  Public archive
  Clojure

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 9, 2018Nov 9, 2018

• core.typed-split

  Public archive
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 9, 2018Nov 9, 2018

• boot-typedclojure

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 13, 2017Oct 13, 2017

• infer-vars

  Public archive
  Demo for :infer-vars core.typed feature

  Clojure

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2017Jan 8, 2017

• auto-annotation

  Public archive
  A demo for Automatic Annotation inference for Typed Clojure

  Clojure

  •

  Eclipse Public License 1.0

  •00 forks•2222 stars•00 issues•00 pull requests•Updated Sep 1, 2016Sep 1, 2016

• esop16

  Public
  Code to accompany ESOP 2016 paper

  Shell

  •

  Eclipse Public License 1.0

  •33 forks•1212 stars•00 issues•00 pull requests•Updated Jan 31, 2016Jan 31, 2016

• houston-talk

  Public archive
  Code for Houston Clojure User Group talk

  Clojure

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 19, 2015Nov 19, 2015

• mranderson

  Public
  Leiningen plugin to download and use some dependencies as source.

  Clojure

  •

  Eclipse Public License 1.0

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Nov 3, 2015Nov 3, 2015

• gradual-untyped-import

  Public
  Demo for core.typed features

  Clojure

  •

  Eclipse Public License 1.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 27, 2015Oct 27, 2015

• typed-clojure-mode

  Public
  Typed Clojure minor mode for Emacs

  Emacs Lisp

  •55 forks•4949 stars•44 issues•00 pull requests•Updated Oct 3, 2015Oct 3, 2015

• examples

  Public archive
  Runnable examples for Typed Clojure paper

  Shell

  •

  Eclipse Public License 1.0

  •00 forks•1111 stars•00 issues•00 pull requests•Updated Jul 2, 2015Jul 2, 2015

• screencasts

  Public archive
  Typed Clojure screencasts

  Clojure

  •00 forks•99 stars•00 issues•00 pull requests•Updated Jun 3, 2015Jun 3, 2015

• typed-repl

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

  Clojure

  •

  Eclipse Public License 1.0

  •00 forks•99 stars•11 issue•00 pull requests•Updated May 20, 2015May 20, 2015

• vim-typedclojure

  Public
  The Typed Clojure plugin for Vim + vim-fireplace

  Vim Script

  •11 fork•5454 stars•00 issues•00 pull requests•Updated May 19, 2014May 19, 2014

• light-typedclojure

  Public archive
  Typed Clojure plugin for Light Table

  JavaScript

  •

  GNU General Public License v3.0

  •55 forks•44 stars•00 issues•00 pull requests•Updated May 5, 2014May 5, 2014