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
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• jwiegley / haskell-config
  My haskell-mode configuration for Emacs
  ☆19Updated 2 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 8 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• typedclojure / auto-annotation
  A demo for Automatic Annotation inference for Typed Clojure
  ☆22Updated 8 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• cemerick / double-check
  @reiddraper's test.check (née simple-check), made Clojure/ClojureScript-portable DEPRECATED
  ☆125Updated 9 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 12 years ago
• SparkFund / sails-forth
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Updated 5 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 9 years ago
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 5 years ago
• swannodette / mies-om
  Less is More template for Om
  ☆53Updated 9 years ago
• joladev / wordsmith
  ☆40Updated 6 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• daveyarwood / boot-kotlin
  Boot tasks for Kotlin development
  ☆9Updated 7 years ago
• michaelbjames / elm-examples
  Some pleasant examples that show off the reactor and get you started
  ☆17Updated 10 years ago
• videlalvaro / clochure
  Clochure - A better Clojure
  ☆86Updated 12 years ago
• bhauman / javascript_yome_widget
  A JavaScript Yome widget written for a blog post.
  ☆14Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• kissaten / cljs-nodejs-example
  ☆13Updated 9 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• jakemcc / clojurescript-firebase-chat-example
  Example project using ClojureScript and Firebase for a realtime chat.
  ☆9Updated 10 years ago
• mfine / nfl-divisions-power-rankings
  ☆15Updated 9 years ago
• piranha / pump
  Pump your REACTive app with fuel
  ☆75Updated 11 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 10 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago