rnhmjoj / category-theory-for-programmers

Related projects ⓘ

Alternatives and complementary repositories for category-theory-for-programmers

• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 7 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated last year
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆53Updated 6 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 5 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 5 years ago
• arthurxavierx / purescript-carpenter
  Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen
  ☆34Updated 7 years ago
• eeue56 / haskell-to-elm
  ☆67Updated 7 years ago
• robotlolita / furipota
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Updated 7 years ago
• gusbicalho / haskell-todo
  Toy todo-list service
  ☆15Updated 5 years ago
• lambda-study-group / lambda-study-group.github.io
  Repo principal do lambda study group :)
  ☆33Updated 8 months ago
• haskellcamargo / talks
  Content about my talks in events
  ☆13Updated 9 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
• lambda-study-group / hacker-rank
  Functional Path do hacker Rank
  ☆51Updated 2 years ago
• CaronaBoard / caronaboard
  Your car does not need to carry only you:
  ☆54Updated 6 years ago
• anabastos / lang-brackets
  🥊Choose your favorite programming languages
  ☆22Updated 6 years ago
• robotlolita / compsci-answers
  A collection of answers I gave on Quora, categorised and easier to find
  ☆99Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆67Updated 4 years ago
• i-am-tom / purescript-prelewd
  An introduction to common PureScript operators through the only truly universal language.
  ☆49Updated 6 years ago
• i-am-tom / learn-me-a-haskell
  Trying to get back all the stuff I had in JavaScript.
  ☆70Updated 6 years ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆18Updated 5 years ago
• Astrocoders / astroman
  Command-line interface for creating new sites based on Gatsby, ReasonML or Create React App
  ☆20Updated 5 years ago
• alanrsoares / elementary
  A React development abstraction in LiveScript without jsx
  ☆20Updated 9 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 2 years ago
• doolse / purescript-reactnative-example
  Example purescript-reactnative Movie app
  ☆38Updated 5 years ago
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 6 years ago
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆10Updated 3 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆105Updated 8 years ago