Alternatives and similar repositories for infdesc:

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

• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆163Updated 5 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆66Updated 2 weeks ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• awodey / math
  Mathematical notes and papers
  ☆25Updated last week
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated last year
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆23Updated 3 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆53Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆68Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆209Updated last month
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 11 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆28Updated 8 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆64Updated 11 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆18Updated 6 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆47Updated 2 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆160Updated last month
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆209Updated this week
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆53Updated last month
• boazbk / nandnotebooks
  Jupyter notebooks with some NAND code
  ☆19Updated 6 years ago
• HaskellZhangSong / Introduction_to_Haskell_2ed_source
  这是Haskell函数式编程入门第2版的源码
  ☆82Updated 6 years ago
• APEXCalculus / APEXCalculus_Source
  Deprecated: See APEXCalculusV5
  ☆59Updated 5 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆101Updated last week
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 4 years ago
• thautwarm / gkdhighlight
  syntax highligher for GkdTeX
  ☆23Updated 4 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆91Updated last year
• crlf0710 / tex-rs
  A port of TeX82 to Rust. (WIP)
  ☆35Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago