Alternatives and similar repositories for types:

Users that are interested in types are comparing it to the libraries listed below

• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 8 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• purr-platform / purr1
  An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)
  ☆50Updated 6 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 2 years ago
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆53Updated 6 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆103Updated 9 years ago
• haskellcamargo / talks
  Content about my talks in events
  ☆13Updated 9 years ago
• terremoth / peoplejs
  A Free-Software JavaScript Library made by people for the people!
  ☆10Updated 4 years ago
• nginformatica / needit
  The awesome dependency manager for AdvPL!
  ☆13Updated 8 years ago
• haskellcamargo / phpp
  (PHP Hypertext Preprocessor) Preprocessor
  ☆9Updated 9 years ago
• DestructHub / computer-programs-paradigms
  Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course
  ☆18Updated 8 years ago
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 4 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• Lisias / mercadinho.js
  PORRA, OUTRO FRAMEWORK!
  ☆11Updated 7 years ago
• lambda-study-group / exercism
  Exercism - FP languages Exercises
  ☆51Updated last year
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆129Updated 8 years ago
• NickHeiner / lambdascript
  A simple exploration of how to make your own programming language
  ☆9Updated 9 years ago
• devmessias / Functors-Applicatives-e-Monads-em-Figuras
  ☆12Updated 8 years ago
• brain-labs / brain-visualizer
  Brain Interpreter and Visualizer Online.
  ☆9Updated 8 years ago
• lucas-frois / fsharpbr
  ☆22Updated 2 years ago
• terremoth / js-church-encoding
  Church Encoding Implementation in JavaScript
  ☆36Updated 4 months ago
• renanroberto / whatsyourquestion-bot
  Telegram Bot
  ☆10Updated 3 years ago
• haskellcamargo / xgh-headers
  Headers for "eXtreme Go Horse" projects
  ☆44Updated 6 years ago
• DestructHub / lelerax-legacy
  Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.
  ☆11Updated 4 years ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆59Updated 8 years ago
• hazama-yuinyan / TSLisp
  A simple Lisp implementation written in TypeScript(earlier version)
  ☆10Updated 7 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆10Updated 4 years ago