benjaminkvm

benjaminkvm's Stars

• bankisan/zkShield

  Private multisig with hidden owners

  Language:Circom22923

• firecracker-microvm/firecracker

  Secure and fast microVMs for serverless computing.

  Language:Rust25k1.8k

• lerna/lerna

  :dragon: Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository.

  Language:TypeScript35.6k2.3k

• wasmerio/wasmer

  🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

  Language:Rust18.4k789

• atlassian/react-sweet-state

  Shared state management solution for React

  Language:JavaScript86855

• github/gh-ost

  GitHub's Online Schema-migration Tool for MySQL

  Language:Go12.3k1.2k

• debezium/debezium

  Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.

  Language:Java10.4k2.5k

• onflow/ledger-app-flow

  Language:JavaScript1012

• fission/fission

  Fast and Simple Serverless Functions for Kubernetes

  Language:Go8.4k781

• mit-pdos/xv6-public

  xv6 OS

  Language:C7.7k3.8k

• 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.

  Language:C3.2k182

• 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.

  Language:C++49372

• 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.

  Language:LLVM9824

• clasp-developers/clasp

  clasp Common Lisp environment

  Language:Common Lisp2.6k145

• klmr/lisp.cpp

  Minimal Lisp implementation in C++, inspired by “lispy”

  Language:C++375

• GuglielmoS/Lispino

  A "small" LISP interpreter written in C++

  Language:C++121

• swaywm/sway

  i3-compatible Wayland compositor

  Language:C14.4k1.1k

• antirez/sds

  Simple Dynamic Strings library for C

  Language:C4.9k472

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k660

• zsaleeba/picoc

  A very small C interpreter

  1.4k182

• nucleic/kiwi

  Efficient C++ implementation of the Cassowary constraint solving algorithm

  Language:C++67888

• VundleVim/Vundle.vim

  Vundle, the plug-in manager for Vim

  Language:Vim Script23.9k2.6k

• siemens/jailhouse

  Linux-based partitioning hypervisor

  Language:C1.7k330

• kjohns19/lisp

  Lisp interpreter with some extras

  Language:C++2

• splinterofchaos/cl-lisp

  A simple Clang-based lisp compiler.

  Language:C++51

• google/skia

  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

  Language:C++9.1k1.5k

• maccuaa/rEFInd-Black

  A clean and minimal theme for the rEFInd UEIF boot manager

  17

• hylang/hy

  A dialect of Lisp that's embedded in Python

  Language:Python4.8k367

• tesseract-ocr/tesseract

  Tesseract Open Source OCR Engine (main repository)

  Language:C++60.8k9.3k

• facebook/folly

  An open-source C++ library developed and used at Facebook.

  Language:C++28.1k5.5k