Alternatives and similar repositories for study_notes

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

• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆62Updated 3 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• apg / slideshow-simple
  Easier slideshows using Racket's slideshow tool
  ☆22Updated 6 years ago
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆105Updated 3 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 9 months ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 8 months ago
• mokus0 / polynomial
  Haskell library for manipulating and evaluating polynomials
  ☆20Updated 3 years ago
• thiagopnts / rawgorithms
  Algorithms and data structures in Rust
  ☆12Updated 9 years ago
• statement-on-lambdaconf / statement-on-lambdaconf.github.io
  ☆22Updated 8 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 3 years ago
• bodil / vscode-use-package
  Programmatic configuration for VS Code
  ☆24Updated 5 years ago
• expede / teaching-fp
  Techniques, advice, and anecdotes about how to teach Functional Programming
  ☆57Updated 8 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• bodil / atom-use-package
  Programmatic package configuration for Atom
  ☆21Updated 6 years ago
• jcouyang / alacarte
  Data Types a la carte from PureScript -> JavaScript
  ☆13Updated 8 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 8 years ago
• dvanhorn / dpc
  Designing Programs with Class
  ☆28Updated 7 years ago
• idris-hackers / IdrisScript
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆93Updated 6 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 9 years ago
• yamadapc / stack-run
  Like cabal run for stack
  ☆30Updated 6 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 6 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago