|
Haskell |
3 |
Random junk from https://www.cis.upenn.edu/~bcpierce/tapl/ |
Dec 11, 2019 |
|
HTML |
4 |
Mirror of https://github.com/web-platform-tests/wpt/tree/master/conformance-checkers |
May 25, 2023 |
|
F# |
2 |
TaPL in F# |
Aug 22, 2020 |
|
Erlang |
2 |
TaPL in Erlang |
Dec 10, 2022 |
|
Python |
3 |
Mirror from https://rhodecode.org |
Jan 28, 2023 |
|
OCaml |
4 |
Source code for TAPL |
Apr 16, 2023 |
|
Python |
2 |
Security checkers callable from CI |
Jun 29, 2022 |
|
Haskell |
26 |
Types and Programming Languages (TAPL) |
Mar 15, 2023 |
|
C# |
17 |
Mirror from https://gitlab.com/rayark/mast |
Apr 26, 2022 |
|
PHP |
18 |
Mirror from https://gitlab.com/mobicoop/mobicoop |
Jan 31, 2023 |
|
Java |
25 |
mirror from https://r8.googlesource.com/r8 |
Feb 13, 2023 |
|
Java |
2 |
checkers |
Feb 20, 2023 |
|
Haskell |
4 |
Allows to use checkers properties from hspec |
Mar 17, 2017 |
|
C |
6 |
Mirror of sqlite amalgamation from https://www.sqlite.org/ |
Apr 28, 2021 |
|
Java |
6 |
JDK14u mirror from https://github.com/openjdk/jdk14u |
Mar 03, 2022 |
|
Java |
6 |
JDK15 mirror from https://github.com/openjdk/jdk15 |
Jan 21, 2022 |
|
Java |
8 |
JDK16u mirror from https://github.com/openjdk/jdk16u |
Mar 17, 2022 |
|
Java |
9 |
JDK16 mirror from https://github.com/openjdk/jdk16 |
Jan 21, 2022 |
|
None |
2 |
One mirror from https://android.googlesource.com/kernel/goldfish.git |
Apr 08, 2020 |
|
Java |
3 |
JDK14 mirror from https://github.com/openjdk/jdk14 |
Dec 02, 2020 |
|
Java |
3 |
JDK15u mirror from https://github.com/openjdk/jdk15u |
Jan 21, 2022 |
|
JavaScript |
50 |
Mirror from https://gerrit.wikimedia.org/g/analytics/wikistats2 |
Aug 13, 2022 |
|
Java |
57 |
JDK mirror from https://github.com/openjdk/jdk |
Aug 17, 2022 |
|
Go |
6 |
mirror from https://git.chainmaker.org.cn/chainmaker/chainmaker-go |
Sep 19, 2022 |
|
None |
2 |
JDK16u mirror from https://github.com/openjdk/jdk16u |
Jan 03, 2023 |
|
Go |
262 |
Mirror of vikunja from https://code.vikunja.io/api |
Apr 19, 2023 |
|
Vue |
232 |
Mirror of vikunja from https://code.vikunja.io/frontend |
Apr 23, 2023 |
|
Mustache |
2 |
Mirror from https://gitlab.git.writemy.codes/KJDev/CORE-Backplane |
Jan 18, 2023 |
|
Shell |
2 |
gevent mirror from https://bitbucket.org/denis/gevent/ |
Nov 01, 2014 |
|
C++ |
2 |
Mirror from https://gitlab.silenium-dev.net/avqt/libAVQt |
May 14, 2022 |
|
C |
2 |
Mirror from https://git.code.sf.net/p/xmlstar/code |
Feb 26, 2024 |
|
HTML |
4 |
Mirror of https://susam.net/ generated from https://github.com/susam/susam.net |
May 02, 2023 |
|
None |
2 |
CHECKERS GAME |
Apr 18, 2022 |
|
JavaScript |
2 |
Checkers Game |
Oct 20, 2022 |
|
C |
4 |
spaghetti checkers |
May 23, 2023 |
|
Python |
3 |
Manage spam from Zammad (mirror from https://gitlab.domainepublic.net/Neutrinet/salmon) |
Nov 12, 2021 |
|
Java |
9 |
JDK tip mirror from https://github.com/openjdk/jdk |
Sep 27, 2021 |
|
Python |
2 |
Mirror from https://gerrit.wikimedia.org/g/research/recommendation-api |
Dec 27, 2021 |
|
Fortran |
3 |
Unofficial Mirror of MPFUN2015 from https://www.davidhbailey.com/dhbsoftware/ |
Nov 23, 2021 |
|
Nix |
3 |
NixOS Advanced Virtual Infrastructure - mirror from https://code.govanify.com |
Jan 24, 2022 |
|
Java |
111 |
JDK TIP mirror from https://github.com/openjdk/jdk |
Aug 16, 2022 |
|
JavaScript |
19 |
Mirror of vikunja desktop from https://code.vikunja.io/desktop |
Apr 17, 2023 |
|
Go |
2 |
mirror from https://gitlab.com/xiayesuifeng/go-xfyun-tts |
Sep 11, 2020 |
|
TeX |
2 |
Mirror from https://bitbucket.org/VictorEijkhout/parallel-computing-book/ by https://githgmirror.com/ |
Sep 17, 2022 |
|
Rust |
2 |
Rust implementation of some languages introduced in TAPL |
May 12, 2023 |
|
None |
7 |
Discord generators & checkers. |
Oct 03, 2021 |
|
C# |
2 |
c sharp checkers |
Nov 22, 2021 |
|
Go |
6 |
Russian checkers game |
Apr 27, 2023 |
|
Python |
8 |
Twitch Checkers Minimax |
Sep 08, 2021 |
|
TeX |
3 |
Mirror from https://bitbucket.org/VictorEijkhout/hpc-book-and-course/ by https://githgmirror.com/ |
Jul 05, 2022 |