pineapplehunter

eza

A modern, maintained replacement for ls

serv

SERV - The SErial RISC-V CPU

pnpm

Fast, disk space efficient package manager

nix

Nix, the purely functional package manager

natural_number_game_lean4

riscv-tests

Onboarding

Lab onboarding

docs.cachix.org

Documentation for Cachix service.

nixpkgs-review

Review pull-requests on https://github.com/NixOS/nixpkgs

nixpkgs-update

Updating nixpkgs packages since 2018

nix-tree

Interactively browse dependency graphs of Nix derivations.

nix.dev

Official documentation for getting things done with Nix.

nixpkgs-merge-bot

Allows package maintainers to merge in nixpkgs

http.cat

:cat: HTTP Cats API

vscode-terosHDL

VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!

vtr-verilog-to-routing

Verilog to Routing -- Open Source CAD Flow for FPGA Research

merge-ut-dictionaries

Merge UT Dictionaries merges multiple Mozc UT dictionaries into one and modify the costs.

attic

Multi-tenant Nix Binary Cache

immich

High performance self-hosted photo and video management solution.

chisel-template

A template project for beginning new Chisel work

htmx

</> htmx - high power tools for HTML

hydra

Hydra, the Nix-based continuous build system

ofborg

@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg

B4-Processor

TUAT-Autofill-Extension

cachix

Command line client for Nix binary cache hosting:

rsd

RSD: RISC-V Out-of-Order Superscalar Processor

mojo

The Mojo Programming Language

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

lean-math-workshop

数学系のためのLean勉強会