Fiedzia / type-system-research

Related projects ⓘ

Alternatives and complementary repositories for type-system-research

• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• 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 8 years ago
• bhauman / javascript_yome_widget
  A JavaScript Yome widget written for a blog post.
  ☆14Updated 9 years ago
• brandonbloom / factjor
  A Factor-inspired, concatenative DSL for Clojure
  ☆97Updated 11 years ago
• itang / lein-checkall
  lein check && lein kibit && lein eastwood && lein bikeshed
  ☆14Updated 11 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 7 years ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆62Updated 10 years ago
• verma / pani
  Idiomatic Clojure/ClojureScript library for Firebase
  ☆36Updated 9 years ago
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 4 years ago
• halgari / async-mu-kanren
  A POC implementation of muKanren using CSP (core.async)
  ☆31Updated 10 years ago
• lynaghk / todoFRP
  Functional reactive todo lists
  ☆81Updated 11 years ago
• jakemcc / clojurescript-firebase-chat-example
  Example project using ClojureScript and Firebase for a realtime chat.
  ☆9Updated 9 years ago
• tailrecursion / hlisp-starter
  Simple hlisp project setup.
  ☆41Updated 11 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• readevalprintlove / readevalprintlove
  The repository for the zine
  ☆30Updated 9 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 7 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 8 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆93Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• jbester / cljext
  Clojure Extended Library
  ☆22Updated 7 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 7 years ago
• city41 / mario-review
  A detailed review of Super Mario World written in Clojure(Script)
  ☆37Updated 10 months ago
• divs1210 / functional-core-async
  almost, but not quite, entirely unlike core.async
  ☆18Updated 6 years ago
• Frege / frege-lein-plugin
  Support Frege compiler via leiningen
  ☆33Updated 8 years ago
• danboykis / monads-in-clojure
  Konrad Hinsen's OnClojure.com tutorial
  ☆18Updated 7 years ago
• piranha / pump
  Pump your REACTive app with fuel
  ☆75Updated 10 years ago