Alternatives and similar repositories for infdesc:

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

• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆25Updated 3 years ago
• seckindemirbas / PLP
  This is the repository for PLP, An introduction to mathematical proof, book
  ☆16Updated 9 months ago
• 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
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆162Updated 4 months ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆64Updated last year
• kevincfz / scheme
  A Scheme interpreter in Python
  ☆14Updated 10 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 3 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆168Updated 8 months ago
• WeixiMa / C311Sp20
  ☆16Updated 4 years 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
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated last month
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆30Updated 11 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 2 weeks ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• MarisaKirisame / resume
  ☆43Updated 2 months ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated this week
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated this week
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆68Updated 9 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 4 years ago