Xe / nelo
Xe's RISCV kernel/OS for learning RISCV
☆13Updated last year
Alternatives and similar repositories for nelo:
Users that are interested in nelo are comparing it to the libraries listed below
- My public wallpapers for consumption by downstream projects☆13Updated last year
- A not-very-featureful SSH server for initrd that listens on your tailscale network☆15Updated this week
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆26Updated 2 months ago
- User-configurable login shell configured by the SHELLS environment variable.☆21Updated last month
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Simple program that generates .gitignore files based on the templates from https://github.com/toptal/gitignore.☆11Updated 3 years ago
- Nix expressions for JavaScript☆19Updated last year
- ☆13Updated 3 weeks ago
- Formatter for Protocol Buffer files☆28Updated 2 years ago
- Execute any command, cache its output and get cached output on subsequent execution☆17Updated last year
- A simple bridge into games that use N64-style controller input☆12Updated 4 years ago
- A DeaDBeeF plugin for playing streaming video game music using vgmstream.☆12Updated 2 weeks ago
- Pipe-optimized with-pattern-functions for making Nix-flakes' output easier to use.☆12Updated last year
- Markdown renderer and other site generator tools.☆12Updated 10 months ago
- (Mirror) Encrypted e-mail storage over Garage☆13Updated 10 months ago
- NixOS Module Documentation generator☆16Updated 2 years ago
- linux kernel overlay☆12Updated this week
- Minimalistic sum types and switches for Lua☆50Updated 3 months ago
- search for processes and print top(1)-like status☆13Updated 11 months ago
- A simpler and less bug-prone flake-utils alternative.☆12Updated last year
- List of well-known bots and user-agent patterns to detect them☆38Updated 3 weeks ago
- rsync, scp, sftp, and sshfs for your object store☆20Updated last week
- Another Wayland Bar. A simple wayland bar for swaywm. Written in go using gotk3 and gtk-layer-shell☆14Updated last year
- A better SSH agent☆15Updated 6 years ago
- ❄️ My Nix/NixOS configuration files☆10Updated 8 months ago
- Personal Data Manager for the command line☆13Updated last year
- Personal Hidden Git Server☆24Updated 2 years ago
- Simple Application Sandboxing☆18Updated 8 months ago
- ☆29Updated last month
- Gameboy emulator written in Rust☆11Updated 3 years ago