-
University of Padova
- Augsburg, Germany
- https://www.ingo-blechschmidt.eu/
Block or Report
Block or report iblech
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
mathezirkel-kurs Public
Worksheets and lecture notes for my math courses for school students (in German)
-
-
-
mathematik-der-vorhersagen Public
Unterlagen zum JGW-Kurs /Mathematik der Vorhersagen/ (Papenburg-1 2015)
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedApr 28, 2024 -
constructive-maximal-ideals Public
Reifying dynamical algebra: maximal ideals in countable rings, constructively
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedFeb 11, 2024 -
internal-methods Public
Notes on how to use the internal language of toposes in algebraic geometry
-
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 -
pizzaseminar Public
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
-
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 -
whitebophir Public
Forked from lovasoa/whitebophirOnline collaborative Whiteboard that is simple, free, easy to use and to deploy
JavaScript GNU Affero General Public License v3.0 UpdatedJan 16, 2022 -
agda-categories Public
Forked from agda/agda-categoriesA new Categories library for Agda
Agda MIT License UpdatedNov 23, 2021 -
thonny Public
Forked from thonny/thonnyPython IDE for beginners
Python MIT License UpdatedOct 30, 2021 -
voicy Public
Forked from backmeupplz/voicy@voicybot Telegram bot main repository
JavaScript MIT License UpdatedAug 3, 2021 -
homologische-algebra Public
Exercise sheets for a two-semester course on Homological Algebra at the University of Augsburg
-
agda-quotients Public
Forked from cruhland/agda-quotientsExamples of quotient types in Agda
Agda MIT License UpdatedApr 28, 2021 -
functional-linear-algebra Public
Forked from ryanorendorff/functional-linear-algebraFormalizing linear algebra in Agda by representing matrices as functions
Agda BSD 3-Clause "New" or "Revised" License UpdatedApr 12, 2021 -
cinelerra-cv Public
Forked from cinelerra-cv-team/cinelerra-cvThis is the main branch of Cinelerra-CV. Cinelerra CV a advanced non-linear video editing and track-based compositing software for Linux.
C Other UpdatedFeb 13, 2021 -
CinelerraCV Public
Forked from ratopi/CinelerraCVCinelerra is the most advanced non-linear video editor and compositor for Linux. See official repo at: https://github.com/cinelerra-cv-team/cinelerra-cv for current code!
C Other UpdatedFeb 13, 2021 -
constructive-algebra Public
Haskell library for dealing with algebraic numbers and Galois groups
-
Generic Public
Forked from effectfully/GenericA library for doing generic programming in Agda
Agda MIT License UpdatedJan 27, 2021