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 11 months ago
• DarrellAucoin / IntroSQL
  Introduction to SQL Talk: UW Stats Club
  ☆9Updated 9 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• snario / course_notes
  Course notes for the University of Waterloo
  ☆28Updated 6 years ago
• evykassirer / notes
  ☆30Updated 8 years ago
• bryangarza / qwu
  twitter clone in haskell
  ☆12Updated 9 years ago
• seanjames777 / SML-Language-Definition
  Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.
  ☆49Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• hackwithlambda / reading-group
  ☆24Updated 8 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 3 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆31Updated 9 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 3 years ago
• floydwch / the-most-influential-developers-on-github
  For Github Data Challenge 2014
  ☆50Updated 10 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 10 years ago
• zohooo / jekyde
  Static blog generater, server and writer. Write markdown with latex in desktop/mobile browsers.
  ☆54Updated 11 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• j2kun / eigenfaces
  Mathematica notebook and resources for the post "Eigenfaces"
  ☆22Updated 5 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• soegaard / bracket
  A computer algebra system (CAS) for high school students
  ☆14Updated 6 years ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 7 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 5 years ago
• sheganinans / pres
  My old Haskell presentation, still some good bits.
  ☆9Updated 10 years ago