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
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 10 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 8 years ago
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 5 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• verma / pani
  Idiomatic Clojure/ClojureScript library for Firebase
  ☆36Updated 10 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• bhauman / javascript_yome_widget
  A JavaScript Yome widget written for a blog post.
  ☆14Updated 9 years ago
• whamtet / redlobster
  ClojureScript promises for Node
  ☆50Updated 6 years ago
• frenchy64 / stream-fusion
  ☆12Updated 10 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated last year
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• itang / lein-checkall
  lein check && lein kibit && lein eastwood && lein bikeshed
  ☆14Updated 11 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
• technomancy / super-explorer
  2D tile exploring game
  ☆12Updated 10 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• daveyarwood / boot-kotlin
  Boot tasks for Kotlin development
  ☆9Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 9 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 12 years ago
• divs1210 / functional-core-async
  almost, but not quite, entirely unlike core.async
  ☆18Updated 7 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 8 years ago
• jwiegley / haskell-config
  My haskell-mode configuration for Emacs
  ☆19Updated 2 years ago
• mneise / circle-color
  ClojureScript project to try out JS transforms and JS module supoort
  ☆15Updated 9 years ago