-
-
araneae-computer Public
Compiler in C for a toy OOP language targeting a custom register VM — with threads & a preemptive scheduler written in the language itself
-
-
-
-
-
-
X86-64-semantics Public
Forked from kframework/X86-64-semanticsSemantics of x86-64 in K
Perl Other UpdatedDec 24, 2024 -
-
-
-
pg_isolate Public
PostgreSQL extension to isolate background workers in other cgroups v2
-
k Public
Forked from runtimeverification/kK Framework Tools 7.0
Java BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2024 -
-
-
postgres Public
Forked from postgres/postgresMirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
C Other UpdatedMay 8, 2024 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedMay 4, 2024 -
os_experiment Public
The repository contains bunch of experiment of OS Linux
C MIT License UpdatedDec 14, 2023 -
-
-
pg_leader Public
Modest implementation of leader election consensus algorithm inspired by Raft. Done as PostgreSQL extension.
{{ message }}