-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
dotfiles Public
A collection of my dotfiles
-
overlay Public
@siraben's eclectic collection of software
-
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
UpdatedApr 27, 2026 -
nix-output-monitor Public
Forked from maralorn/nix-output-monitorPipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Haskell GNU Affero General Public License v3.0 UpdatedApr 27, 2026 -
mosh Public
Forked from mobile-shell/moshMobile Shell
C++ GNU General Public License v3.0 UpdatedApr 20, 2026 -
efivar Public
Forked from rhboot/efivarTools and libraries to work with EFI variables
C GNU Lesser General Public License v2.1 UpdatedApr 19, 2026 -
quine-relay Public
Forked from mame/quine-relayAn uroboros program with 100+ programming languages
Ruby UpdatedApr 19, 2026 -
cosmopolitan Public
Forked from jart/cosmopolitanbuild-once run-anywhere c library
C ISC License UpdatedApr 19, 2026 -
-
-
nonograms Public
Friends-only nonogram web app on Cloudflare Pages + D1.
TypeScript UpdatedMar 29, 2026 -
jonesforth-macos Public
JonesForth ported to aarch64-darwin
-
-
coq-wigderson Public
Formalization of Wigderson's graph coloring algorithm in Coq
-
-
colord Public
Forked from hughsie/colordMaking color management just work
C GNU General Public License v2.0 UpdatedFeb 2, 2026 -
R3emu Public
Forked from NMCV1-9/R3emuAn emulator for the R3 computer made by LBPhacker
Lua UpdatedFeb 1, 2026 -
tilem-headless Public
Fork of TilEm supporting headless mode/SDL alternative frontend
C GNU General Public License v3.0 UpdatedJan 24, 2026 -
scas Public
Forked from KnightOS/scasSirCmpwn's assembler (and linker)
C MIT License UpdatedJan 23, 2026 -
evm-assembler Public
No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
-
zkeme80 Public
An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
-
meta-II Public
META II compiler, assembler and bytecode interpreter.
-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedNov 17, 2025 -
rocq Public
Forked from rocq-prover/rocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 20, 2025 -
bf-crunch-rs Public
Forked from primo-ppcg/BF-CrunchRust port of BF-Crunch
-
mcb Public
Forked from math-comp/mcbMathematical Components (the Book)
TeX Other UpdatedOct 8, 2025 -
nix.dev Public
Forked from NixOS/nix.devOfficial documentation for getting things done with Nix.
Nix Creative Commons Attribution Share Alike 4.0 International UpdatedSep 30, 2025 -
gitmagic Public
Forked from blynn/gitmagicA guide to using Git
Makefile GNU General Public License v3.0 UpdatedSep 10, 2025
{{ message }}