-
-
Character-Map-UWP Public
Forked from character-map-uwp/Character-Map-UWPA modern, native UWP replacement for the Win32 Character Map and Windows Font Viewer with flawless high DPI and touch support.
C# MIT License UpdatedJul 22, 2024 -
grothendieck-cern Public
Forked from Lapin0t/grothendieck-cernAlexander Grothendieck's 1972 talk at CERN, on scientific research
Creative Commons Zero v1.0 Universal UpdatedJun 24, 2024 -
LSIUtil Public
Forked from latchdevel/LSIUtilConfiguration utility for LSI host board adapters
C UpdatedJan 7, 2024 -
NumericalRepresentationTheory.jl Public
Forked from dlfivefifty/NumericalRepresentationTheory.jlJulia MIT License UpdatedFeb 10, 2023 -
SheehanM3M6AppliedComplexAnalysis Public
Forked from dlfivefifty/M3M6AppliedComplexAnalysisSheehan Olver's lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College
TeX MIT License UpdatedMay 18, 2020 -
fr_public Public
Forked from farbrausch/fr_publicFarbrausch demo tools 2001-2011
C++ UpdatedJul 28, 2019 -
grimoire.computer Public
Forked from lifewinning/grimoire.computerThe Realm of Rough Telepathy
JavaScript UpdatedMar 20, 2019 -
homotopy Public
Forked from favonia/homotopyMy Agda code for Homotopy Type Theory
-
-
agda-frp-js Public
Forked from agda-attic/agda-frp-jsECMAScript back end for Functional Reactive Programming in Agda
-
A Q connection library for Python
-
learn-you-an-agda Public
Forked from liamoc/learn-you-an-agdaLearn you an Agda (and achieve enlightenment)
{{ message }}