Alternatives and similar repositories for type-system-research:

Users that are interested in type-system-research are comparing it to the libraries listed below

• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 4 years ago
• brandonbloom / factjor
  A Factor-inspired, concatenative DSL for Clojure
  ☆97Updated 11 years ago
• halgari / async-mu-kanren
  A POC implementation of muKanren using CSP (core.async)
  ☆31Updated 10 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 7 years ago
• itang / lein-checkall
  lein check && lein kibit && lein eastwood && lein bikeshed
  ☆14Updated 11 years ago
• michaelsbradleyjr / node-clojurescript
  seamless integration between NodeJS and ClojureScript
  ☆108Updated 11 years ago
• bhauman / javascript_yome_widget
  A JavaScript Yome widget written for a blog post.
  ☆14Updated 9 years ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆62Updated 10 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• typedclojure / auto-annotation
  A demo for Automatic Annotation inference for Typed Clojure
  ☆22Updated 8 years ago
• daveyarwood / boot-kotlin
  Boot tasks for Kotlin development
  ☆9Updated 7 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• joladev / wordsmith
  ☆40Updated 6 years ago
• whamtet / redlobster
  ClojureScript promises for Node
  ☆50Updated 5 years ago
• verma / pani
  Idiomatic Clojure/ClojureScript library for Firebase
  ☆36Updated 9 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 11 years ago
• brandonbloom / ambiparse
  Parsing with "disambiguation filters" in Clojure
  ☆22Updated 8 years ago
• jakemcc / clojurescript-firebase-chat-example
  Example project using ClojureScript and Firebase for a realtime chat.
  ☆9Updated 9 years ago
• fullcontact / full.monty
  Minimalistic stack for building robust Clojure HTTP services.
  ☆16Updated 8 years ago
• EwenG / replique
  ☆26Updated 2 years ago
• adzerk-oss / boot-jar2bin
  A Boot task to create standalone executable binaries
  ☆11Updated 4 years ago
• divs1210 / functional-core-async
  almost, but not quite, entirely unlike core.async
  ☆18Updated 7 years ago
• CircleCI-Archived / schema-typer
  ☆61Updated 10 years ago
• jbester / cljext
  Clojure Extended Library
  ☆22Updated 8 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• mkcp / raft-consensus
  mostly abandoned... for now
  ☆9Updated 7 years ago