-
-
mathezirkel-kurs Public
Worksheets and lecture notes for my math courses for school students (in German)
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 26, 2026 -
-
-
mathematik-der-vorhersagen Public
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
-
internal-methods Public
Notes on how to use the internal language of toposes in algebraic geometry
-
hosts Public
Forked from StevenBlack/hosts🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
Python MIT License UpdatedMay 23, 2026 -
-
constructive-maximal-ideals Public
Reifying dynamical algebra: maximal ideals in countable rings, constructively
-
pizzaseminar Public
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
-
NFCPlayer Public
Forked from mueller-ma/NFCReaderAndroid app to play music in reaction to NFC tags
Kotlin Apache License 2.0 UpdatedFeb 8, 2026 -
QXlsx Public
Forked from QtExcel/QXlsxExcel file(*.xlsx) reader/writer library using Qt. Descendant of QtXlsxWriter.
C++ MIT License UpdatedFeb 2, 2026 -
constructive-algebra Public
Haskell library for dealing with algebraic numbers and Galois groups
-
nixwrap Public
Forked from rti/nixwrapEasy Application Sandboxing on NixOS
Nix MIT License UpdatedDec 10, 2025 -
MSPweb Public
Forked from msp-strath/MSPwebbeing the shared sources and generated html for the MSP website
HTML UpdatedJun 20, 2025 -
-
danielwessel.github.io Public
Forked from danielwessel/danielwessel.github.ioHTML MIT License UpdatedDec 1, 2024 -
talk-homological-algebra Public
A quickstart guide to derived functors and spectral sequences
-
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedApr 28, 2024 -
TheHoTTGame Public
Forked from thehottgame/TheHoTTGameAttracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Agda UpdatedJan 19, 2024 -
4d-labyrinth Public
Forked from MatthiasHu/4d-labyrinthHaskell GNU General Public License v3.0 UpdatedJan 6, 2024 -
llm-viz Public
Forked from bbycroft/llm-viz3D Visualization of an GPT-style LLM
TypeScript UpdatedDec 5, 2023 -
sshlatex Public
A collection of hacks to efficiently run LaTeX via ssh
-
media Public
Forked from flaviotordini/mediaQt Media Library Abstraction
C++ GNU General Public License v3.0 UpdatedNov 23, 2022 -
bits-und-baeume.org Public
Forked from bitsundbaeume/bits-und-baeume.orgbits-und-baueme.org
Nunjucks MIT License UpdatedNov 1, 2022 -
gentle-intro-to-reflection Public
Forked from alhassy/gentle-intro-to-reflectionA slow-paced introduction to reflection in Agda. ---Tactics!
Agda UpdatedMay 25, 2022 -
Enigma Public
Forked from Enigma-Game/EnigmaEnigma is a puzzle game inspired by Oxyd on the Atari ST and Rock'n'Roll on the Amiga. The object of the game is to find uncover pairs of identically colored Oxyd stones. Simple? Yes. Easy? Certain…
C++ GNU General Public License v2.0 UpdatedApr 2, 2022 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedFeb 13, 2022
{{ message }}