-
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedDec 20, 2025 -
-
microkit_tutorial Public
Forked from au-ts/microkit_tutorialA tutorial for learning the seL4 Microkit
C UpdatedOct 26, 2025 -
tranquil Public
Forked from TeaDrinkingProgrammer/tranquilA blog theme for Zola, inspired by Serene, but built with Tailwind
HTML MIT License UpdatedAug 20, 2025 -
aarch64-rt Public
Forked from google/aarch64-rtStartup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.
Assembly Other UpdatedApr 7, 2025 -
-
krunner-nix Public
Forked from pluiedev/krunner-nixAdding programs available via Nix to KRunner.
Rust UpdatedJan 18, 2025 -
octodns-scaleway Public
Forked from scaleway/octodns-scalewayScaleway provider for octoDNS
Python UpdatedOct 23, 2024 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix
Nix MIT License UpdatedMay 23, 2024 -
envrc Public
Forked from purcell/envrcEmacs support for direnv which operates buffer-locally
Emacs Lisp UpdatedSep 9, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedAug 28, 2022 -
nixos-hardware Public
Forked from NixOS/nixos-hardwareA collection of NixOS modules covering hardware quirks.
Nix Creative Commons Zero v1.0 Universal UpdatedMay 23, 2022 -
-
emacs-calfw Public
Forked from kiwanami/emacs-calfwA calendar framework for Emacs
Emacs Lisp UpdatedApr 13, 2022 -
-
build-make Public
Toy project creating a make-like build system using the `Build Systems a la carte` paper
Haskell UpdatedAug 16, 2021 -
-
-
-
oschmod Public
Forked from YakDriver/oschmodchmod for Windows, macOS and Linux
Python Apache License 2.0 UpdatedOct 28, 2020 -
LineageOS_vendor_whitequark Public
Forked from whitequark/LineageOS_vendor_whitequarkMy LineageOS overlay
Shell UpdatedOct 15, 2020 -
rust2email Public archive
rust rewrite of rss2email
-
nix Public
Forked from Ericson2314/nixNix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedDec 11, 2019 -
acme-dns-tiny Public
Forked from Trim/acme-dns-tinyThis is a fork of acme-tiny to provide Let's Encrypt issue and renew certificates using the DNS challenges. The github repository is a mirror of Gitlab main repo: https://projects.adorsaz.ch/adrien…
Python MIT License UpdatedApr 26, 2019 -
-
rvsim Public
Forked from stephank/rvsimA RISC-V simulator implementing RV32G.
Rust Other UpdatedMay 15, 2018 -
termite Public
Forked from thestinger/termiteA keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.
C++ UpdatedMar 15, 2018 -
-
binja_itanium_cxx_abi Public
Forked from whitequark/binja_itanium_cxx_abiBinary Ninja Itanium C++ ABI Plugin
Python BSD Zero Clause License UpdatedJan 15, 2018 -
riscv-meta Public
Forked from michaeljclark/rv8RISC-V Meta – a suite of tools that operate on RISC-V ISA (Instruction Set Architecture)
C++ Other UpdatedOct 24, 2016
{{ message }}