-
reflex-vty Public
Forked from reflex-frp/reflex-vtyBuild terminal applications using functional reactive programming (FRP) with Reflex FRP.
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
-
Vim Public
Forked from VSCodeVim/Vim⭐ Vim for Visual Studio Code
TypeScript MIT License UpdatedFeb 18, 2023 -
math Public
Forked from jonsterling/mathA mini-book on category theory. Superseded by https://github.com/jonsterling/forest
-
agda-unimath Public
Forked from UniMath/agda-unimathUnivalent mathematics in Agda
Makefile MIT License UpdatedJul 15, 2022 -
agdapad Public
Forked from iblech/agdapadAgda as a collaborative multiplayer game
JavaScript UpdatedJun 28, 2022
{{ message }}