-
-
types-and-proofs Public
Mechanized baselines for various type system features
-
scala3 Public
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Scala Apache License 2.0 UpdatedNov 14, 2025 -
-
-
-
-
sprig Public
Forked from hackclub/sprig🍃 Learn to code by making games in a JavaScript web-based game editor.
JavaScript MIT License UpdatedNov 17, 2024 -
blot Public
Forked from hackclub/blot🤖 ✍️ blot, the plotting bot from hack club
JavaScript MIT License UpdatedApr 30, 2024 -
-
-
-
-
-
-
purduepl.github.io Public
Forked from PurduePL/purduepl.github.ioA blog of Programming Languages Group @Purdue
-
virtualization-lms-core Public
A Framework for Runtime Code Generation and Compiled DSLs
-
-
-
-
lancet Public
surgical precision JIT compilers
-
scala-escape Public
A compiler plug-in to control object lifetimes in Scala
-
ReverseAD Public
Forked from wangmu0701/ReverseADEvaluating high order derivative tensors directly via reverse mode AD in Cpp.
-
popl2017-papers Public
Forked from gasche/popl2017-papersLink to preprints for POPL'17 and co-located events
UpdatedMar 11, 2017 -
-
-
-
-
-
Forge Public
Forked from stanford-ppl/ForgeA prototype meta DSL that generates Delite DSL implementations from a specification-like program.
Scala UpdatedOct 23, 2015
{{ message }}