lontivero / phgs

Related projects ⓘ

Alternatives and complementary repositories for phgs

• andreoss / kernel-overlay
  linux kernel overlay
  ☆12Updated this week
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• gvolpe / nmd
  NixOS Module Documentation generator
  ☆16Updated last year
• Xe / mi.rs
  A personal API
  ☆17Updated last year
• Xe / nelo
  Xe's RISCV kernel/OS for learning RISCV
  ☆13Updated last year
• nix-community / cross-toolchains.nix
  Prebuild cross-compiling toolchains for various targets [maintainers=@Mic92]
  ☆10Updated 2 years ago
• nixosbrasil / nix-emacs
  Use the same module system that leverages NixOS to configure your emacs customization
  ☆12Updated 2 years ago
• NixOS / nixos-common-styles
  Common styles for NixOS related web sites.
  ☆10Updated 10 months ago
• vrtbl / aspen
  Passerine's package manager.
  ☆22Updated 2 years ago
• griff / Nix.rs
  Parts of Nix ported to Rust
  ☆19Updated last year
• kira-bruneau / flake-linter
  A linting framework designed to run checks & fixes incrementally in your project (using Nix flakes). Mirror of code maintained at gitlab.…
  ☆10Updated 3 weeks ago
• tweag / ssh-participation
  An ssh server that creates new users on-the-fly, great for letting users participate in a demo
  ☆16Updated 11 months ago
• alexwennerberg / crabmail
  a static html and gemini mail archive for the 21st century, written in Rust
  ☆25Updated 3 months ago
• wiktor-k / tangler
  Extracts (tangles) code fragments from Markdown documents.
  ☆11Updated 6 months ago
• mccurdyc / gitrs
  🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.
  ☆20Updated last year
• lambdadog / winter
  [WIP] A wayland compositor configured with scheme
  ☆14Updated 2 years ago
• vlinkz / npkg
  A cross tool package management wrapper for NixOS
  ☆10Updated 2 years ago
• malob / nix-review-tools-reports
  Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.
  ☆10Updated this week
• nix-community / nixos-modules-contrib
  NixOS modules that don't quite belong in NixOS.
  ☆15Updated 3 years ago
• icyphox / mael
  [WIP] an experimental mail client written in bash (and a bit of python)
  ☆9Updated 4 years ago
• ogham / minisudo
  A little privilege escalator in Rust, for learning.
  ☆13Updated 4 years ago
• lobsters / mockturtle
  Lobsters IRC bot
  ☆14Updated 2 months ago
• lheckemann / undrv
  cursed
  ☆12Updated last year
• cole-h / agenix-cli
  Companion tool to https://github.com/ryantm/agenix
  ☆31Updated last year
• ugjka / 10mb.video
  Fit a video into a 10mb file (Discord nitro pls?)
  ☆12Updated this week
• kpcyrd / auth-tarball-from-git
  Authenticate a tarball through a signed tag in a git repository (with reproducible builds)
  ☆15Updated 2 years ago
• hercules-ci / hercules-ci-effects
  Expressions to change the world (just a tiny bit)
  ☆17Updated last week
• nix-how / marsnix
  Taking Nix Offline
  ☆29Updated 2 years ago
• yonkeltron / ztl
  Zettelkasten with AsciiDoc, written in Rust
  ☆12Updated 3 years ago