Documentation for RTL-with-customcells to GDSII

RISC-V hypervisor written in Rust

Get detailed, per-pod network metrics for export to prometheus.

XLS: Accelerated HW Synthesis

An SVG rendering library.

DNS flag day

A collection of innocent cubes, to freak out your engine, or not. If not you may receive the "deccer-cubes-approval" role on our discord."

Apache DataFusion SQL Query Engine

Frequency modulation synthesizer plugin (VST2, CLAP). Runs on macOS, Windows and Linux.

EasyNIC: an easy-to-use host interface for network cards

A self-contained implementation of forward and backward inference for intuitionistic propositional logic

Free monospaced font with programming ligatures

A Rust implementation of encoders and decoders for Protocol Buffers

A rust library to provide a virtual utun interface to Tor

Run compilers interactively from your web browser and interact with the assembly

Distributed transactional key-value database, originally created to complement TiDB

Generic programming experiment in Scala

Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.

Public non-official repository of the famous ToneLoc wardialer

A HyperMinimal Jekyll Theme

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

This package contains a lightweight deductive database system in OCaml

A thin OS for application goodness

The first official Sensordrone App from Sensorcon

The Sensordrone iOS library

Applied operating system - an operating system kernel written in the ATS programming language.

Algorithms from AIMA in Haskell

Java client and server implementation of Redis