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 9 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 6 years ago
• thiagopnts / rawgorithms
  Algorithms and data structures in Rust
  ☆12Updated 10 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆64Updated 4 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• mokus0 / polynomial
  Haskell library for manipulating and evaluating polynomials
  ☆20Updated 3 years ago
• dvanhorn / dpc
  Designing Programs with Class
  ☆28Updated 8 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 8 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated last year
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 9 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• strangeloop / StrangeLoop2018
  Strange Loop 2018 resources
  ☆50Updated 6 years ago
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆104Updated 4 years ago
• apg / slideshow-simple
  Easier slideshows using Racket's slideshow tool
  ☆23Updated 6 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 4 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• yamadapc / stack-run
  Like cabal run for stack
  ☆30Updated 6 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• cauebs / durt
  Command line tool for calculating the size of files and directories
  ☆38Updated 4 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 3 months 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
• gdevanla / pptable
  A Haskell library to pretty print data in a tabular format
  ☆11Updated 7 years ago
• Wilfred / Lython
  Toy Lisp to Python compiler
  ☆10Updated 12 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 9 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 9 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 8 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 10 years ago