Alternatives and similar repositories for tarasov:

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

• mbutterick / typesetting
  document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]
  ☆33Updated 2 years ago
• djvelleman / HTPILeanPackage
  ☆29Updated 3 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• dzaima / BQN386
  ☆16Updated last month
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆65Updated last month
• adamschoenemann / dmuac
  Discrete Mathematics Using a Computer exercises/notes
  ☆21Updated 9 years ago
• 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 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• nebhrajani-a / sicp
  Racket implementation and notes for SICP's video lectures.
  ☆67Updated last year
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆32Updated last week
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated 3 weeks ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 6 months ago
• locusmath / locus
  A specialised computer algebra system for topos theory.
  ☆18Updated 10 months ago
• estradilua / org-mode-hs
  Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
  ☆24Updated 11 months ago
• gjoncas / Lacan-Mathemes
  Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
  ☆35Updated 3 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 11 months ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆142Updated 9 months ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 11 months ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆29Updated last month
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 7 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 weeks ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 8 months ago