Home » org.clojure » core.typed.rt » Used By

Core Typed RT

An optional type system for Clojure — zero-dependency artifact for annotations only.

Artifacts using Core Typed RT (6)
Sort by:Popular▼

1.Core Typed56 usages

org.clojure » core.typed EPL

An optional type system for Clojure — full system for annotating and type-checking.
Last Release on Nov 9, 2018

2.Yesql20 usages

yesql » yesql EPL

A Clojure library for using SQL
Last Release on Nov 22, 2024

3.Knossos6 usages

knossos » knossos EPL

Linearizability checker
Last Release on Jul 17, 2026

4.Snow3 usages

snow » snow EPL

Snow
Last Release on Apr 21, 2019

5.Core Typed Analyzer JVM3 usages

org.clojure » core.typed.analyzer.jvm EPL

A variant of tools.analyzer.jvm.
Last Release on Jan 16, 2020

6.Core Typed Infer1 usages

org.clojure » core.typed.infer EPL

Runtime type inference algorithm for core.typed and clojure.spec.
Last Release on Nov 9, 2018
  • Prev
  • 1
  • Next