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
  ☆47Updated 7 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 10 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 8 years ago
• itang / lein-checkall
  lein check && lein kibit && lein eastwood && lein bikeshed
  ☆14Updated 12 years ago
• jwiegley / haskell-config
  My haskell-mode configuration for Emacs
  ☆19Updated 2 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• halgari / async-mu-kanren
  A POC implementation of muKanren using CSP (core.async)
  ☆31Updated 11 years ago
• whamtet / redlobster
  ClojureScript promises for Node
  ☆50Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• brandonbloom / factjor
  A Factor-inspired, concatenative DSL for Clojure
  ☆98Updated 11 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated last year
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 5 years ago
• daveyarwood / boot-kotlin
  Boot tasks for Kotlin development
  ☆9Updated 7 years ago
• brandonbloom / ambiparse
  Parsing with "disambiguation filters" in Clojure
  ☆22Updated 8 years ago
• ericnormand / elm-frp
  A Clojure/ClojureScript implementation of Elm FRP.
  ☆57Updated 10 years ago
• tailrecursion / hlisp-starter
  Simple hlisp project setup.
  ☆41Updated 12 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 12 years ago
• mneise / circle-color
  ClojureScript project to try out JS transforms and JS module supoort
  ☆15Updated 9 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 5 years ago
• adzerk-oss / boot-jar2bin
  A Boot task to create standalone executable binaries
  ☆11Updated 4 years ago
• cmeiklejohn / shafty
  ClojureScript functional reactive programming library.
  ☆49Updated 12 years ago
• joladev / wordsmith
  ☆40Updated 6 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 9 years ago
• divs1210 / functional-core-async
  almost, but not quite, entirely unlike core.async
  ☆18Updated 7 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago