jensengrey's Stars
thomasjball/PyExZ3
Python Exploration with Z3
daos-stack/daos
DAOS Storage Stack (client libraries, storage engine, control plane)
mfcc64/youtube-musical-spectrum
Audio visualizer for YouTube with musical notes.
ben0x539/totally-safe-transmute
seanbaxter/circle
The compiler is available for download. Get it!
skanehira/rtty
Terminal on browser via websocket
Hirrolot/metalang99
Full-blown preprocessor metaprogramming
amaranth-lang/amaranth-yosys
WebAssembly-based Yosys distribution for Amaranth HDL
m-labs/nmigen
A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen
aerospike-examples/interactive-notebooks
A repository for jupyter/zeppelin/etc notebooks.
google/nsjail
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.
ogham/dog
A command-line DNS client.
gfngfn/Sesterl
An ML-like statically-typed Erlang
vectordotdev/vector
A high-performance observability data pipeline.
boarchuz/HULP
ESP32 ULP Coprocessor Helper
afska/gba-remote-play
📡 Stream Raspberry Pi games to a GBA via Link Cable.
RobertBaruch/riscv-reboot
jonasrmichel/rudiments
A drum machine written in Rust
jonasrmichel/tiling
A Rust library for constructing tilings of regular polygons
libguestfs/nbdkit
THIS REPO IS UNMAINTAINED. Go to --> https://gitlab.com/nbdkit/nbdkit
olofk/edalize
An abstraction library for interfacing EDA tools
cjdrake/pyeda
Python EDA
GollyGang/ready
A cross-platform implementation of various reaction-diffusion systems and PDEs.
GoogleCloudPlatform/cloud-data-quality
Data Quality Engine for BigQuery
Co-dfns/Co-dfns
High-performance, Reliable, and Parallel APL
TaKO8Ki/awesome-alternatives-in-rust
A curated list of replacements for existing software written in Rust
google/multichase
indigo-dc/udocker
A basic user tool to execute simple docker containers in batch or interactive systems without root privileges.
spdk/spdk
Storage Performance Development Kit
VividCortex/ebooks
LaTeX source files for VividCortex's ebooks