the-mitr / tarasovLinks
A repo for books by L. V. Tarasov
☆11Updated 10 years ago
Alternatives and similar repositories for tarasov
Users that are interested in tarasov are comparing it to the libraries listed below
Sorting:
- VSCode extension for Metamath☆10Updated last week
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 2 months ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- 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
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 4 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Kiwi content management engine☆13Updated 3 months ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Tim Button's open textbook on set theory☆37Updated last year
- A notional machine for the SMoL languages☆22Updated last year
- document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]☆34Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Learn Lean and topology☆21Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- Prototypes: Object Orientation, Functionally☆44Updated last month
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- ☆16Updated 2 months ago
- Jupyter notebooks for Dyalog APL☆43Updated last year
- Run Dyalog APL under Docker☆10Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- 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
- My notes from reading this amazing book by Peter M. Kogge.☆23Updated 11 years ago
- ☆30Updated last week
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆10Updated this week