-
EasySM Public
Forked from input-output-hk/EasySMEasySM in Agda
Apache License 2.0 UpdatedNov 26, 2025 -
-
research Public
Work in progress
-
-
-
-
-
1lab Public
Forked from the1lab/1labBug fix fork
-
grothendieck-cern Public
Forked from Lapin0t/grothendieck-cernAlexander Grothendieck's 1972 talk at CERN, on scientific research
-
-
research-2017-06 Public
Moved to https://research.mietek.io
Agda Creative Commons Attribution Share Alike 4.0 International UpdatedMay 17, 2024 -
research-2016-06 Public
Moved to https://research.mietek.io
-
research-2016-05 Public
Moved to https://research.mietek.io
-
-
-
icfp-contest-2020 Public
ICFP Programming Contest 2020 entry
-
haxo-hw Public
Forked from cardonabits/haxo-hwHaxophone, an electronic musical instrument that resembles a saxophone
XSLT MIT License UpdatedNov 20, 2022 -
-
-
-
-
epigram2 Public
Mirror of Epigram 2, by Conor McBride, et al.
-
ImplicitCAD Public
Forked from FlyingGaz/ImplicitCADA math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
Haskell GNU Affero General Public License v3.0 UpdatedMay 27, 2020 -
-
theoremprover-museum.github.io Public
Forked from theoremprover-museum/theoremprover-museum.github.ioBug fix fork
HTML GNU General Public License v3.0 UpdatedMay 2, 2020 -
commercialhaskell Public
Forked from commercialhaskell/commercialhaskellBug fix fork
UpdatedApr 15, 2020 -
homebrew-core Public
Forked from Homebrew/homebrew-coreMaintenance fork
Ruby BSD 2-Clause "Simplified" License UpdatedMar 17, 2020 -
zug Public
Keyboard-driven tiling window manager
-
netatalk Public
Forked from Netatalk/netatalkMirror with all tags recovered from SourceForge
C GNU General Public License v2.0 UpdatedAug 17, 2019 -
icfp-contest-2008 Public archive
ICFP Programming Contest 2008 entry
{{ message }}