OpenSCAD - The Programmers Solid 3D CAD Modeller

perfect programming language

Linux kernel modules written in Rust

Library facilitating safe pinned initialization

Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)

Nix flake for neovim with configuration

Nix flake for linux kernel module development with rust support

Visual Studio Code Server support in NixOS

Crate with an example of a kernel module in Rust

Source code for Twitter's Recommendation Algorithm

Visual Studio Code extension to easily navigate through files and symbols in the whole workspace.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

An arctic, north-bluish color palette.

Rust for Windows

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Create ridiculously fast Lexers

Building a subset of Lisp written in C to learn both languages - tutorial at https://www.buildyourownlisp.com

Linux Driver Template

Hardcaml is an OCaml library for designing hardware.

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

A datalogging serial terminal/console written in Python (I hope to extend it to Telnet and others later)

lpc21isp - Portable command line ISP for Philips LPC family and Analog Devices ADUC70xx

Manage a user environment using Nix [maintainer=@rycee]

Mozilla overlay for Nixpkgs.

RippleFPGA, A Simultaneous Pack-and-Place Algorithm for UltraScale FPGA

uhubctl - USB hub per-port power control

fish and zsh support for the nix run and nix-shell environments of the Nix package manager

Red Pitaya Ecosystem and Applications

CPOL=0, CPHA=0 SPI core for practicing formal verification with yosys