-
-
smolbsd Public
Forked from NetBSDfr/smolBSDsmolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs
Shell BSD 2-Clause "Simplified" License UpdatedFeb 3, 2026 -
tmplr Public
Forked from open-s4c/tmplrA tiny template preprocessor
C BSD Zero Clause License UpdatedJan 22, 2026 -
libvsync Public
Forked from open-s4c/libvsyncA verified library of synchronization primitives and concurrent data structures
C MIT License UpdatedJan 20, 2026 -
mdox Public
Doxygen XML to Markdown converter, focus on C style projects
-
dice Public
Forked from open-s4c/diceA lightweight, extensible framework for capturing execution events of multithreaded programs
C BSD Zero Clause License UpdatedJan 14, 2026 -
srfi-64-chicken Public
Forked from retroj/srfi-64-chickenSRFI 64: A Scheme API for test suites by Per Bothner
Scheme UpdatedJan 11, 2026 -
pkgsrc-wip Public
Forked from NetBSD/pkgsrc-wipWork-in-progress packages for pkgsrc, the portable package system from NetBSD [mirror]
Makefile UpdatedJan 6, 2026 -
-
kittens Public
Forked from open-s4c/kittensA toolkit to generate test cases out of cat models
Scheme BSD Zero Clause License UpdatedDec 27, 2025 -
-
chadilat Public
Cheap and Dirty Logic Analyzer On Teensy
C BSD Zero Clause License UpdatedDec 9, 2025 -
-
-
-
xxd Public
Forked from ckormanyos/xxdhex-dump-type utility xxd
C GNU General Public License v2.0 UpdatedJun 5, 2025 -
callseq Public
Experimental callback sequencer for CHICKEN Scheme
C BSD Zero Clause License UpdatedMar 30, 2025 -
Dat3M Public
Forked from hernanponcedeleon/Dat3MA verification tool for many memory models
Java MIT License UpdatedMar 25, 2025 -
benchkit Public
Forked from open-s4c/benchkitA push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space
Python MIT License UpdatedMar 19, 2025 -
-
lowdown Public
Forked from kristapsdz/lowdownsimple markdown translator
C ISC License UpdatedJan 22, 2025 -
kakoune Public
Forked from mawww/kakounemawww's experiment for a better code editor
C++ The Unlicense UpdatedJan 1, 2025 -
mockoto Public
Simple C mock generator with Racket bindings
-
-
slides Public
Forked from maaslalani/slidesTerminal based presentation tool
Go MIT License UpdatedAug 21, 2024 -
tilt Public
Forked from open-s4c/tiltFramework to interpose pthread mutex
C MIT License UpdatedJun 22, 2024 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedDec 17, 2023 -
markdown Public
Forked from greghendershott/markdownMarkdown parser written in Racket.
Racket UpdatedDec 14, 2023 -
glow Public
Forked from charmbracelet/glowRender markdown on the CLI, with pizzazz! 💅🏻
Go MIT License UpdatedDec 11, 2023 -
{{ message }}