Alternatives and similar repositories for 1151notes

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

• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated 9 months ago
• snario / course_notes
  Course notes for the University of Waterloo
  ☆28Updated 6 years ago
• bangalore-haskell-user-group / functorrent
  A bit torrent client
  ☆18Updated 6 years ago
• oinkina / Lambda-Oinks
  Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.
  ☆25Updated 10 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆30Updated 9 years ago
• davidrosenberg / ml2015
  Website for DS-GA 1003: Machine Learning and Computational Statistics
  ☆15Updated 8 years ago
• Dakkers / UW-Course-Notes
  some lecture notes from the University of Waterloo.
  ☆91Updated 9 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• chaoxu / blog
  blog
  ☆18Updated 6 years ago
• floydwch / the-most-influential-developers-on-github
  For Github Data Challenge 2014
  ☆50Updated 10 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• aktech / sympy-tutorial
  SymPy Presentation
  ☆38Updated 9 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• evykassirer / notes
  ☆30Updated 8 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• hackwithlambda / reading-group
  ☆24Updated 8 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 5 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• leosartaj / learn-git
  Learn about git and github
  ☆26Updated 2 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mnielsen / mini_qa
  Toy question answering program. Aimed at "Who ....?" questions, e.g., "Who invented the C programming language?"
  ☆38Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last year
• amsa / fallacy-hunter
  Detect logical fallacies in text (POC)
  ☆14Updated 10 years ago
• sananth12 / spoj-codechef-codeforces
  Ultimate algo backup.
  ☆14Updated 10 years ago
• abhin4v / haskell-classes
  Notes from my haskell course
  ☆8Updated 9 years ago