Alternatives and similar repositories for study_notes

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

• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• thiagopnts / rawgorithms
  Algorithms and data structures in Rust
  ☆12Updated 10 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• HopperTest / HopperTestProposals
  Hear proposals from the developer community - specially from women - about creating a test that assesses women friendly companies
  ☆21Updated 10 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 7 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 8 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆62Updated 4 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆105Updated 4 years ago
• yamadapc / stack-run
  Like cabal run for stack
  ☆30Updated 6 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 10 years ago
• Wilfred / Lython
  Toy Lisp to Python compiler
  ☆10Updated 11 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
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 8 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 8 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 8 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated last year
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 6 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 5 years ago
• danboykis / monads-in-clojure
  Konrad Hinsen's OnClojure.com tutorial
  ☆18Updated 8 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆14Updated 7 years ago