Librerie scritte in TeX
riscv-debug-spec
Bozza di lavoro dello standard di specifica di debug RISC-V.
- 382
- Creative Commons Attribution 4.0
essence-and-origins-of-frp
Un discorso di apertura per LambdaJam 2015 (15-16 luglio) [Spostato su: https://github.com/conal/talk-2015-essence-and-origins-of-frp].
- 382
malbolge-lisp
Un interprete Lisp leggero (350 MB) in Malbolge Unshackled, spesso soprannominato il linguaggio di programmazione completo turing più difficile.
- 374
- Creative Commons Zero v1.0 Universal
fiziko
Libreria MetaPost inizialmente scritta per automatizzare alcuni elementi di illustrazioni in bianco e nero per un libro di testo di fisica.
- 336
- GNU General Public License v3.0 only
tufte_algorithms_book
Un modello per libri di testo nello stesso stile di Algorithms for Optimization.
- 329
scientific-thesis-template
Modello LaTeX per tesi di master, laurea, diploma e studenti.
- 326
- BSD Zero Clause
ics
Interchain Standards (ICS) per la rete Cosmos e l'ecosistema interchain. [Spostato in: https://github.com/cosmos/ibc].
- 287
- Apache License 2.0
markdown
:notebook_with_decorative_cover: Un pacchetto per la conversione e il rendering di documenti markdown in TeX (di Witiko).
- 285
- LaTeX Project Public License v1.2
WebLaTex
Un'alternativa completa per Overleaf con VSCode + Web + Integrazione Git + Copilot + Correttore grammaticale e ortografico + Supporto per la collaborazione in tempo reale. Basato su GitHub Codespace e contenitore Dev..
- 269
- MIT
latex-briefvorlage-din-5008
Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2.
- 261
- MIT
robot_hacking_manual
Manuale di hacking dei robot (RHM). Dalla robotica alla sicurezza informatica. Documenti, appunti e resoconti di un viaggio nella sicurezza informatica dei robot..
- 253
- Apache License 2.0
the_statistics_handbook
il repository open source del manuale di statistica.
- 240
- GNU General Public License v3.0
guix-notes
Questo repository è stato spostato su https://gitlab.com/pjotrp/guix-notes Notes on Guix.
- 238
- MIT
specification
La specifica per TinyVG. Questa è l'autorità centrale per il file system (di TinyVG).
- 222
- MIT