-
agda-unimath Public
Forked from UniMath/agda-unimathUnivalent mathematics in Agda
Agda MIT License UpdatedOct 26, 2025 -
TypeTopology Public
Forked from martinescardo/TypeTopologyLogical manifestations of topological concepts, and other things, via the univalent point of view.
Agda GNU General Public License v3.0 UpdatedAug 23, 2025 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedAug 22, 2025 -
-
bibtex-tidy Public
Forked from FlamingTempura/bibtex-tidyCleaner and Formatter for BibTeX files
TeX MIT License UpdatedMay 12, 2025 -
codespell Public
Forked from codespell-project/codespellcheck code for common misspellings
Python GNU General Public License v2.0 UpdatedApr 28, 2025 -
1000-plus.github.io Public
Forked from 1000-plus/1000-plus.github.ioPython The Unlicense UpdatedApr 26, 2025 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 15, 2025 -
matematisk_ordliste Public
Forked from jfremstad/matematisk_ordlisteMatematisk ordliste
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedDec 6, 2024 -
forest Public
-
JavaScript-Is-Weird Public
Forked from lowbyteproductions/JavaScript-Is-WeirdCode for the JS Is Weird (EXTREME EDITION) video
JavaScript UpdatedJul 9, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedFeb 20, 2024 -
yoneda Public
Forked from emilyriehl/yonedacomparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
Lean UpdatedSep 19, 2023 -
Parentassigment_OHm Public archive
Forked from soloboan/Parentassigment_OHmParentage assignment using opposite homozygote methods.
R UpdatedOct 25, 2022 -
kmall-csharp Public
An unfinished C# class library for reading and writing Kongsberg .kmall files.
C# Creative Commons Zero v1.0 Universal UpdatedOct 25, 2022 -
dirichlet-numerics Public
Forked from ricksladkey/dirichlet-numericsDirichlet .NET Number Theory Library
{{ message }}