Alternatives and similar repositories for tarasov:

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

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 4 years ago
• mentat-collective / sicm-scheme-exercises
  Exercises and notes on Structure and Interpretation of Classical Mechanics.
  ☆67Updated 3 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 3 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆23Updated last year
• mentat-collective / sicm-book
  Executable version of Structure and Interpretation of Classical Mechanics.
  ☆35Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• mbutterick / typesetting
  document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]
  ☆33Updated 2 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆20Updated 3 weeks ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 10 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆14Updated 3 weeks ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• mentat-collective / fdg-book
  Executable version of Functional Differential Geometry.
  ☆34Updated 2 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 3 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 6 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 5 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• texmacs / notes
  Notes about TeXmacs
  ☆28Updated 3 months ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• otherjoel / cookbook-pollen
  📘🌼 A bunch of Pollen recipes
  ☆30Updated 3 years ago
• rogerkeays / racket-fluent
  Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.
  ☆27Updated 4 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 6 months ago
• khinsen / science-in-the-digital-era
  A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)
  ☆11Updated last year
• Alex-Linhares / Knuths-O-Calculus
  Maybe the open-source community can write Donald Knuth's O Calculus book?
  ☆11Updated 6 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago