-
Quantii
-
20:01
(UTC +10:00)
Highlights
- Pro
-
-
-
-
-
scala3 Public
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Scala Apache License 2.0 UpdatedMay 16, 2024 -
agda-sessions Public
Forked from anuyts/agda-sessionsLearn the Agda basics in three 2-hour sessions.
Agda UpdatedMar 6, 2024 -
-
-
vscode-prolog Public
Forked from AmauryRabouan/new-vsc-prologA VS Code extension that provides language support for prolog
TypeScript MIT License UpdatedJan 13, 2024 -
lisprolog Public
Forked from triska/lisprologInterpreter for a simple Lisp. Written in Prolog.
Prolog UpdatedDec 10, 2023 -
-
-
-
gcoin Public
The greatest coin, in Rei
Reason GNU Lesser General Public License v2.1 UpdatedOct 10, 2022 -
-
-
-
gitq Public
Alternative Git frontend
Reason GNU Lesser General Public License v2.1 UpdatedSep 9, 2022 -
-
-
-
-
-