Skip to content

@typedclojure Typed Clojure

Change the repository type filter

All

    Repositories list

    33 repositories

    • typedclojure

      Public
      An optional type system for Clojure
      Clojure
      •
      Eclipse Public License 1.0
      •7•472•7•14•Updated Sep 20, 2024Sep 20, 2024

    • typedclojure.org

      Public
      CSS
      •0•2•0•0•Updated Nov 19, 2023Nov 19, 2023

    • let-error-demo

      Public
      Demo improved error messages for destructuring
      Clojure
      •
      Other
      •0•2•0•0•Updated Aug 2, 2021Aug 2, 2021

    • test-runner

      Public
      Merged #13 and #16 PR's from cognitect-labs
      Clojure
      •
      Eclipse Public License 2.0
      •31•0•0•0•Updated Mar 22, 2021Mar 22, 2021

    • spec-alpha2

      Public
      Clojure
      •
      Eclipse Public License 1.0
      •26•0•0•1•Updated Dec 20, 2020Dec 20, 2020

    • core.typed.runtime.jvm

      Public archive
      Clojure
      •0•0•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed.lib.clojure

      Public archive
      Type annotations and macros for the base Clojure distribution.
      Clojure
      •0•1•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed.lang.jvm

      Public archive
      Extensible languages in Clojure, a la Racket's #lang.
      HTML
      •0•1•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed.annotator.jvm

      Public archive
      Dev mirror of https://github.com/clojure/core.typed.annotator.jvm
      Clojure
      •0•0•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed.checker.jvm

      Public archive
      Clojure
      •0•0•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed.analyzer.jvm

      Public archive
      Dev mirror of https://github.com/clojure/core.typed.analyzer.jvm
      Clojure
      •0•0•0•0•Updated Jan 17, 2020Jan 17, 2020

    • core.typed-dev

      Public archive
      Scripts to help local dev work on core.typed.
      Shell
      •0•1•0•0•Updated Jan 15, 2020Jan 15, 2020

    • lein-typed

      Public
      Leiningen plugin for Typed Clojure
      Clojure
      •2•82•3•0•Updated Apr 4, 2019Apr 4, 2019

    • core.typed-template

      Public archive
      Template for creating new core.typed repositories from.
      HTML
      •0•0•0•0•Updated Dec 5, 2018Dec 5, 2018

    • core.typed

      Public archive
      Mirror of core.typed for internal development.
      Clojure
      •76•14•0•0•Updated Nov 18, 2018Nov 18, 2018

    • core.typed.checker.js

      Public archive
      Clojure
      •0•2•0•0•Updated Nov 9, 2018Nov 9, 2018

    • core.typed-split

      Public archive
      HTML
      •0•0•0•0•Updated Nov 9, 2018Nov 9, 2018

    • boot-typedclojure

      Public
      HTML
      •0•0•0•0•Updated Oct 13, 2017Oct 13, 2017

    • infer-vars

      Public archive
      Demo for :infer-vars core.typed feature
      Clojure
      •
      Eclipse Public License 1.0
      •0•0•0•0•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
      •0•22•0•0•Updated Sep 1, 2016Sep 1, 2016

    • esop16

      Public
      Code to accompany ESOP 2016 paper
      Shell
      •
      Eclipse Public License 1.0
      •3•12•0•0•Updated Jan 31, 2016Jan 31, 2016

    • houston-talk

      Public archive
      Code for Houston Clojure User Group talk
      Clojure
      •
      Eclipse Public License 1.0
      •0•0•0•0•Updated Nov 19, 2015Nov 19, 2015

    • mranderson

      Public
      Leiningen plugin to download and use some dependencies as source.
      Clojure
      •
      Eclipse Public License 1.0
      •14•0•0•0•Updated Nov 3, 2015Nov 3, 2015

    • gradual-untyped-import

      Public
      Demo for core.typed features
      Clojure
      •
      Eclipse Public License 1.0
      •0•2•0•0•Updated Oct 27, 2015Oct 27, 2015

    • typed-clojure-mode

      Public
      Typed Clojure minor mode for Emacs
      Emacs Lisp
      •3•46•4•0•Updated Oct 3, 2015Oct 3, 2015

    • examples

      Public
      Runnable examples for Typed Clojure paper
      Shell
      •
      Eclipse Public License 1.0
      •0•12•0•0•Updated Jul 2, 2015Jul 2, 2015

    • screencasts

      Public archive
      Typed Clojure screencasts
      Clojure
      •0•9•0•0•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
      •0•9•1•0•Updated May 20, 2015May 20, 2015

    • vim-typedclojure

      Public
      The Typed Clojure plugin for Vim + vim-fireplace
      Vim Script
      •1•55•0•0•Updated May 19, 2014May 19, 2014

    • light-typedclojure

      Public
      Typed Clojure plugin for Light Table
      JavaScript
      •
      GNU General Public License v3.0
      •5•4•0•0•Updated May 5, 2014May 5, 2014