Luiz-Monad / types

Related projects ⓘ

Alternatives and complementary repositories for types

• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 7 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated last year
• purr-platform / purr1
  An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)
  ☆50Updated 6 years ago
• haskellcamargo / phpp
  (PHP Hypertext Preprocessor) Preprocessor
  ☆9Updated 9 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 5 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
• haskellcamargo / talks
  Content about my talks in events
  ☆13Updated 9 years ago
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 3 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 5 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆10Updated 3 years ago
• haskellcamargo / rawrlang
  A language that compiles to PHP.
  ☆9Updated 9 years ago
• creme-tech / Creme.ArangoDB
  A consistent and minimal F# driver for ArangoDB
  ☆4Updated last year
• NickHeiner / lambdascript
  A simple exploration of how to make your own programming language
  ☆9Updated 9 years ago
• haskellcamargo / rawr
  A word that means "I Love You" in dinosaur.
  ☆42Updated 9 years ago
• nginformatica / needit
  The awesome dependency manager for AdvPL!
  ☆13Updated 7 years ago
• celsobonutti / milho-rust
  Lisp interpreter written in Rust
  ☆15Updated 3 years ago
• brain-labs / brain-visualizer
  Brain Interpreter and Visualizer Online.
  ☆9Updated 8 years ago
• lambda-study-group / lambdinha-bot
  Bot for the telegram group written in Elixir using Nadia.
  ☆16Updated 4 years ago
• LambdaGeo / rwh-ptbr
  Real World Haskell, PT-BR
  ☆12Updated last year
• DestructHub / computer-programs-paradigms
  Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course
  ☆18Updated 7 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• haskellcamargo / php-pipe-operator-rfc
  Proposal for implementation of the pipeline operator on PHP 7
  ☆23Updated 7 years ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• renanroberto / whatsyourquestion-bot
  Telegram Bot
  ☆10Updated 3 years ago
• lucas-frois / fsharpbr
  ☆22Updated last year
• coproduto / purelisp
  Some day, a purely functional Lisp. Right now? Just a silly prototype.
  ☆15Updated 3 years ago