-
pts-agda Public
A formalization of Pure Type Systems (PTS) in Agda
-
-
agda-categories Public
Forked from agda/agda-categoriesA new Categories library
Agda MIT License UpdatedJan 14, 2025 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 14, 2025 -
f-omega-int-agda Public
F-omega with interval kinds mechanized in Agda
-
KBOS Public
Forked from alb12-la/KBOSTired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that
Shell MIT License UpdatedAug 10, 2022 -
Makefile.pdfTeX Public
Scripts for building LaTeX projects using GNU/Make
-
minion Public
Minion – a gray-box monitor for data minimality
-
system-f-agda Public
A formalization of the polymorphic lambda calculus extended with iso-recursive types
-
kappa-emacs Public
GNU/Emacs support for the Kappa language
-
scala-parser-combinators Public
Forked from scala/scala-parser-combinatorssimple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
Scala BSD 3-Clause "New" or "Revised" License UpdatedSep 11, 2018 -
dotty Public
Forked from scala/scala3Research platform for new language concepts and compiler technologies for Scala.
Scala Other UpdatedJun 13, 2018 -
-
-
-
virtualization-lms-core Public
Forked from TiarkRompf/virtualization-lms-coreA Framework for Runtime Code Generation and Compiled DSLs
Scala UpdatedNov 14, 2013 -
-
{{ message }}