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
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 8 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• cemerick / double-check
  @reiddraper's test.check (née simple-check), made Clojure/ClojureScript-portable DEPRECATED
  ☆125Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 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
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• frenchy64 / stream-fusion
  ☆12Updated 9 years ago
• verma / pani
  Idiomatic Clojure/ClojureScript library for Firebase
  ☆36Updated 10 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 12 years ago
• whamtet / redlobster
  ClojureScript promises for Node
  ☆50Updated 6 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• SparkFund / sails-forth
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Updated 5 years ago
• brandonbloom / factjor
  A Factor-inspired, concatenative DSL for Clojure
  ☆98Updated 11 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 9 years ago
• joladev / wordsmith
  ☆40Updated 6 years ago
• krisajenkins / AdventOfCode
  PureScript solutions for Advent of Code
  ☆17Updated 2 years ago
• jwiegley / haskell-config
  My haskell-mode configuration for Emacs
  ☆19Updated 2 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• fullcontact / full.monty
  Minimalistic stack for building robust Clojure HTTP services.
  ☆16Updated 8 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated last year
• ericnormand / elm-frp
  A Clojure/ClojureScript implementation of Elm FRP.
  ☆57Updated 10 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago