Highlights
- Pro
-
WPC Public
Weighted Programming Calculus
OCaml GNU Lesser General Public License v3.0 UpdatedJun 11, 2026 -
-
-
klee-uclibc-ng Public
Unofficial KLEE's version of uClibc-ng 1.0.57
C GNU Lesser General Public License v2.1 UpdatedApr 26, 2026 -
ralr Public
resource-aware logical relation for AARA resource-aware type system
Rocq Prover UpdatedApr 10, 2026 -
whole-program-llvm Public
Forked from travitch/whole-program-llvmA wrapper script to build whole-program LLVM bitcode files
Python MIT License UpdatedApr 6, 2026 -
-
-
plfa Public
Solution to Programming Language Foundations in Agda (PLFA)
Agda Creative Commons Attribution 4.0 International UpdatedJan 26, 2026 -
-
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedDec 1, 2025 -
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedNov 21, 2025 -
LLVM-Code-Generation Public
Forked from PacktPublishing/LLVM-Code-GenerationLLVM Code Generation, published by Packt
C++ MIT License UpdatedNov 12, 2025 -
-
iris-tutorial Public
Solution to Iris tutorial https://github.com/logsem/iris-tutorial
Rocq Prover MIT License UpdatedSep 14, 2025 -
type-system-playground Public
Forked from stonebuddha/type-system-playgroundThe type systems are in the branches!
OCaml MIT License UpdatedJul 6, 2025 -
accipit Public
https://floatshadow.github.io/accipit
-
probably Public
Forked from Philipp15b/probablyPython library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.
Python Apache License 2.0 UpdatedMar 14, 2024 -
-
mlscript Public
Forked from lwclwclwc60/mlscriptThe MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
interproc Public
Forked from jogiet/interprocbjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)
OCaml Other UpdatedOct 24, 2023 -
learning-llvm Public
Code examples from books, slides and courses for clang/llvm tool chains
C++ GNU General Public License v3.0 UpdatedApr 5, 2023 -
TuringCourses Public
Forked from ZJU-Turing/TuringCourses浙江大学图灵班课程学习指南
-
cgcl Public
Computer Graphic Collective Library (For Student Labs)
C GNU General Public License v2.0 UpdatedDec 8, 2022 -
dpcpp-svm Public
oneAPI DPC++ implementation of thundersvm
-
-
hyperscan Public
Forked from intel/hyperscanHigh-performance regular expression matching library
C++ Other UpdatedOct 15, 2021 -
Parallized-Sort Public
This is the source code for parallel experiment for ZJU programming design courses
C MIT License UpdatedSep 29, 2021