-
shuttle Public
Forked from awslabs/shuttleShuttle is a library for testing concurrent Rust code
Rust Apache License 2.0 UpdatedSep 23, 2024 -
-
-
-
-
-
-
-
-
-
bobs-club Public
Forked from braxtonhall/bobs-cluba web ring for friends
JavaScript UpdatedJul 13, 2023 -
-
minimal Public
Forked from subnixr/minimalA minimal zsh theme
Shell GNU General Public License v3.0 UpdatedJun 16, 2022 -
-
simple-se Public
An oversimplified symbolic executor for a subset of python3
-
-
-
SWORD Public
SWORD: A Whole Program Race Detector for Java
-
memcached Public
Forked from memcached/memcachedmemcached development tree
C BSD 3-Clause "New" or "Revised" License UpdatedJan 8, 2021 -
eclipse.jdt.ls Public
Forked from eclipse-jdtls/eclipse.jdt.lsJava language server
Java Eclipse Public License 1.0 UpdatedDec 28, 2020 -
-
-
CloverLeaf_OpenMP Public
Forked from UK-MAC/CloverLeaf_OpenMPA version of CloverLeaf using OpenMP pragmas
Fortran UpdatedDec 9, 2020 -
hazel Public
Forked from hazelgrove/hazelHazel, a live functional programming environment with typed holes
Reason MIT License UpdatedAug 26, 2020 -
-
graphblas_recreate_race Public
simple test case on GraphBLAS that has race condition
C UpdatedMar 4, 2020 -
resume Public
Forked from billryan/resumeAn elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
TeX MIT License UpdatedFeb 26, 2020 -
-
gllvm Public
Forked from SRI-CSL/gllvmWhole Program LLVM: wllvm ported to go
Go BSD 3-Clause "New" or "Revised" License UpdatedOct 31, 2019 -
{{ message }}