dramforever

scratchix

Linux From Scratch, but it's Nix

finlog

Compiling finite generators to digital logic. WIP

ixayoi

(WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog

clash-with-stack

Stack-based Clash environment

nixos-updates-bot

Nix channel updates bot for Telegram

chipsalliance-playground-nix

(WIP) Just chipsalliance-playground but it's Nix

hascaf

Implementation of MiniDecaf in Haskell (see https://github.com/decaf-lang/minidecaf-tutorial)

nix-devwith

It's like `nix-shell -p` but it supports flakes

purescript-kagome

A framework for imperative reactive programming, in PureScript

verilog-stuff

Verilog stuff

drampaste

Demo of servant + minio-hs + conduit

mirror-web

Source code of the web interface of https://mirrors.tuna.tsinghua.edu.cn/

nix-bits

So that I can just show them how to use Nix

NixOS-CN-telegram

NixOS中文 telegram群组成员配置文件

NixOS-FAQ

NixOS 常见问题解答

playgraphics

Graphics playground

synclig

Synchronous Logic from Imperative Generators

canokey-core

Core implementations of an open-source secure key

check-nix-thingy

crc-reveng

A mirror/fork of https://reveng.sourceforge.io/

Dress

好耶 是女装

mirrorz

Your next MirrorS is not MirrorS, nor MirrorSes, it's MirrorZ.

nixos-riscv

nizctl

osim

riscv-bitmanip

Working draft of the proposed RISC-V Bitmanipulation extension

show-image-test

sifive-core

Low level access to SiFive RISC-V processor cores

supervisor-rv

计算机组成原理课程 RISC-V 监控程序，支持 32 位和 64 位

UnChain

A tool to find redirection chains in multiple URLs