benjaminkvm's Stars
bankisan/zkShield
Private multisig with hidden owners
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
lerna/lerna
:dragon: Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository.
wasmerio/wasmer
🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
atlassian/react-sweet-state
Shared state management solution for React
github/gh-ost
GitHub's Online Schema-migration Tool for MySQL
debezium/debezium
Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.
onflow/ledger-app-flow
fission/fission
Fast and Simple Serverless Functions for Kubernetes
mit-pdos/xv6-public
xv6 OS
checkedc/checkedc
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
checkedc/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
microsoft/checkedc-llvm
Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (mono) repo setup, following the lead of the LLVM community. See https://github.com/Microsoft/checkedc-clang instead.
clasp-developers/clasp
clasp Common Lisp environment
klmr/lisp.cpp
Minimal Lisp implementation in C++, inspired by “lispy”
GuglielmoS/Lispino
A "small" LISP interpreter written in C++
swaywm/sway
i3-compatible Wayland compositor
antirez/sds
Simple Dynamic Strings library for C
seL4/seL4
The seL4 microkernel
zsaleeba/picoc
A very small C interpreter
nucleic/kiwi
Efficient C++ implementation of the Cassowary constraint solving algorithm
VundleVim/Vundle.vim
Vundle, the plug-in manager for Vim
siemens/jailhouse
Linux-based partitioning hypervisor
kjohns19/lisp
Lisp interpreter with some extras
splinterofchaos/cl-lisp
A simple Clang-based lisp compiler.
google/skia
Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
maccuaa/rEFInd-Black
A clean and minimal theme for the rEFInd UEIF boot manager
hylang/hy
A dialect of Lisp that's embedded in Python
tesseract-ocr/tesseract
Tesseract Open Source OCR Engine (main repository)
facebook/folly
An open-source C++ library developed and used at Facebook.