sanidhya

Sanidhya's starred repositories

kernel

A Rust-based, lightweight unikernel.

Language:RustApache-2.0111800

feldera

Feldera Continuous Analytics Platform

Language:RustNOASSERTION29200

verus

Verified Rust for low-level systems code

Language:RustMIT105800

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

Language:GoApache-2.0520900

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.

Language:TypeScriptGPL-3.0724100

bento

Language:RustNOASSERTION7000

commuter

Automated multicore scalability testing tool

Language:Python8700

linux-kernel-module-rust

Framework for writing Linux kernel modules in safe Rust

Language:RustGPL-2.0132600

Gravity

Minimal is the new cool.

Language:CSSMIT46900

latexrun

A 21st century LaTeX wrapper

Language:PythonMIT61400

fpga_readings

Recipe for FPGA cooking

Language:VerilogApache-2.027600

pure-bash-bible

📖 A collection of pure bash alternatives to external processes.

Language:ShellMIT3627700

synchrobench

A benchmark to compare synchronization techniques for multicore programming

Language:Java33700

will-it-scale

Language:CGPL-3.06300

LegoOS

Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.

Language:CGPL-2.047300

scylladb

NoSQL data store using the seastar framework, compatible with Apache Cassandra

Language:C++AGPL-3.01295100

awesome-consensus

Awesome list for Paxos and friends

202100

haskell-papers-ereader

Haskell papers optimized for my e-reader.

26600

fasthttp

Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http

Language:GoMIT2134000

cozy

The collection synthesizer

Language:PythonApache-2.021000

userspace-rcu

This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores.

Language:CNOASSERTION61700