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
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 2 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 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 / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 8 years ago
• SaturnFramework / Saturn.Cli
  A dotnet CLI tool for Saturn projects providing code generation and scaffolding.
  ☆18Updated 2 years ago
• haskellcamargo / talks
  Content about my talks in events
  ☆13Updated 9 years ago
• brain-labs / brainstation
  A small video game console for Arduino using the Brainduino interpreter
  ☆28Updated 7 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• lucas-frois / fsharpbr
  ☆22Updated 2 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• fsprojects / LSON
  Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)
  ☆14Updated 4 years ago
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 4 years ago
• nginformatica / needit
  The awesome dependency manager for AdvPL!
  ☆13Updated 8 years ago
• MassD / mongo
  An ocaml driver for mongodb
  ☆52Updated 3 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
  ☆50Updated 7 years ago
• haskellcamargo / rawr
  A word that means "I Love You" in dinosaur.
  ☆42Updated 10 years ago
• jbevain / flispy
  A toy lisp interpreter in F# inspired by Norvig's lispy
  ☆13Updated 5 years ago
• EduardoRFS / reason-jvm-ffi
  ☆16Updated 4 years ago
• takanuva / ANSI-ISO-C-Exception-Handling
  A fully complete and functional exception handling library written in ANSI/ISO C.
  ☆31Updated 14 years ago
• jack-pappas / facio
  Tools for building compilers, interpreters, and analysis tools in F#
  ☆45Updated 5 years ago
• EduardoRFS / youtube-channel
  ☆51Updated 2 months ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆40Updated 4 years ago
• vrjuliao / sml-vscode-extension
  VSCode plugin for Standard ML
  ☆40Updated last year
• ocamllabs / compiler-hacking
  Wiki for compiler hacking sessions
  ☆91Updated 7 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆134Updated 6 years ago
• mmanela / Flango
  Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.
  ☆19Updated last year
• besport / ocaml-jwt
  Implementation of JSON Web Tokens in OCaml
  ☆42Updated 2 years ago
• AnanthaRajuC / List-of-programming-language-lists
  List of programming languages by type
  ☆35Updated 4 years ago