Alternatives and similar repositories for types

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

• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 3 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 9 years ago
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆56Updated 7 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆20Updated 6 years ago
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 5 years ago
• lucas-frois / fsharpbr
  ☆22Updated 3 years ago
• haskellcamargo / talks
  Content about my talks in events
  ☆13Updated 10 years ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 9 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 8 years ago
• github-aux / linguist-unknown
  Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist
  ☆49Updated 7 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• lambda-study-group / lambdinha-bot
  Bot for the telegram group written in Elixir using Nadia.
  ☆16Updated 6 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 5 years ago
• brain-labs / brainstation
  A small video game console for Arduino using the Brainduino interpreter
  ☆28Updated 7 years ago
• macabeus / rust-neander
  👨‍🏫 Educational purpose virtual machine to assembly Neander and Neander+
  ☆16Updated 7 years ago
• SaturnFramework / Saturn.Cli
  A dotnet CLI tool for Saturn projects providing code generation and scaffolding.
  ☆19Updated 3 years ago
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆231Updated 4 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• DestructHub / computer-programs-paradigms
  Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course
  ☆18Updated 8 years ago
• MassD / mongo
  An ocaml driver for mongodb
  ☆52Updated 4 years ago
• brain-labs / brain
  An esoteric programming language compiler on top of LLVM based on Brainfuck
  ☆135Updated 5 years ago
• EduardoRFS / reason-jvm-ffi
  ☆16Updated 5 years ago
• nginformatica / needit
  The awesome dependency manager for AdvPL!
  ☆13Updated 9 years ago
• gabriela-sartori / SokobanElm
  Remake of the classical game Sokoban in Elm
  ☆11Updated 9 years ago
• haskellcamargo / rawr
  A word that means "I Love You" in dinosaur.
  ☆42Updated 10 years ago
• lambda-study-group / exercism
  Exercism - FP languages Exercises
  ☆51Updated 2 years ago
• Cumulus / Cumulus
  A friendly and minimalist link sharing website
  ☆51Updated 10 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 6 years ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆94Updated 3 weeks ago
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆59Updated 3 months ago