dominiquedevriese
Follow
-
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedNov 10, 2023 -
-
-
fixismu-coq Public
Coq proofs establishing semantic equi-expressiveness results for recursive types
-
-
reviews Public
Forked from isovector/reviewsRepository for technical reviews I do
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2022 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJun 28, 2021 -
-
Twelveish Public
Forked from larshelo/Twelveish🕛 Twelveish - Android Wear/Wear OS Watch Face
Java GNU General Public License v3.0 UpdatedMar 7, 2021 -
cpsc411-book Public
Forked from cpsc411/cpsc411-bookThe WIP book for CPSC 411
Racket Other UpdatedMar 1, 2021 -
ponyc Public
Forked from ponylang/ponyc🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language
C++ BSD 2-Clause "Simplified" License UpdatedJan 8, 2020 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
-
system-f-agda Public
Forked from sstucki/system-f-agdaA formalization of the polymorphic lambda calculus extended with iso-recursive types
Agda MIT License UpdatedJul 9, 2019 -
ghc Public
Forked from mrBliss/ghcMirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://ghc.haskell.org/trac/ghc) or sent to the mailing list ([email protected])
-
iris-coq Public
Forked from izgzhen/iris-coqa non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/
Coq Other UpdatedNov 1, 2018 -
adsphd Public archive
Forked from wannesm/adsphdADS PhD dissertation latex class
TeX UpdatedApr 2, 2014 -
s-mt-frp Public
Forked from tzbob/s-mt-frpExperimenting with client/server frp using JS-Scala, Reactive, Spray and BaconJS
CSS UpdatedFeb 10, 2014 -
js-scala Public archive
Forked from js-scala/js-scalajs.scala: JavaScript as an embedded DSL in Scala
TeX UpdatedFeb 10, 2014 -
icfp2013-papers Public archive
Forked from gasche/icfp2013-papersList of ICFP'13 accepted papers, with links to preprint or additional information when available
UpdatedJul 9, 2013