Declarative, reproducible, statically typed build and deployment for Operating Systems.
☆37Jun 17, 2022Updated 4 years ago
Alternatives and similar repositories for salo
Users that are interested in salo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- fetch all osu! scores by a user☆11Apr 19, 2021Updated 5 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- ☆21Updated this week
- A command-line interface for programmers who love soccer☆11Dec 11, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My latest setup configs.☆10Aug 7, 2016Updated 10 years ago
- An implementation of Conway's Game of Life in Solidity for Ethereum Networks.☆16Feb 1, 2021Updated 5 years ago
- ☆26Jan 22, 2024Updated 2 years ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 3 years ago
- Sample Dockerized flask app deployed on Kubernetes on Azure using AKS☆22Feb 17, 2023Updated 3 years ago
- simple project management and time tracking application written with Ruby on Rails☆17Oct 24, 2019Updated 6 years ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated 2 years ago
- ANSI escape codes for manipulating the terminal☆16Sep 4, 2017Updated 8 years ago
- WIP - Vim / Neovim syntax colorscheme inspired by the 80s Retrofuturism/Synthwave/Outrun aesthetics☆10Sep 21, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bootloader for 16-bit .COM and .EXE executables☆34Feb 18, 2020Updated 6 years ago
- zsh plugins for vivid☆14Apr 22, 2026Updated 3 months ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆17Mar 16, 2026Updated 4 months ago
- Add General Purpose Input and Output Pins to your Laptop/Desktop through your USB Port.☆20Apr 11, 2020Updated 6 years ago
- The first Demoscene for the Colour Maximite 2☆13Jun 28, 2021Updated 5 years ago
- Tetris in 283 bytes of x86 code (run only on MS-DOS / FreeDOS, not a VM), written 1997 :-)☆15Feb 2, 2020Updated 6 years ago
- A CLI Tool to easily generate your Terraform configuration☆19Feb 20, 2021Updated 5 years ago
- Giving up on the 4bbp layer matriculate for now.☆11May 1, 2020Updated 6 years ago
- Final Fight port for the Colour Maximite 2☆11Aug 4, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- ☆16Feb 5, 2024Updated 2 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- Sissy Life CYOA☆14Sep 4, 2015Updated 10 years ago
- Harbor is where the ships come to rest at the pink sea.☆14Apr 4, 2025Updated last year
- Tool for generating graphics archive files for the 16-bit DOS games made by Id software.☆13Jun 24, 2023Updated 3 years ago
- xinu68k: Xinu for the Motorola MECB, AT&T PC 7300, AT&T UNIX PC, AT&T/Olivetti 3B1, Convergent Technologies S/50, and Sun Microsystems Su…☆18Mar 10, 2022Updated 4 years ago
- Turn any phone number into clickable whatsapp link☆19Mar 18, 2024Updated 2 years ago
- Tags for gunDB☆13Jul 15, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Wannabe Minecraft-like in C++/OpenGL☆11Feb 22, 2024Updated 2 years ago
- 🕵️♂️ Tracking things, so you don't have to☆51Updated this week
- https://github.com/untodesu/riteg☆12Feb 3, 2025Updated last year
- OPA Authzed experiments☆17Mar 11, 2024Updated 2 years ago
- mKEYB is a minimum keyboard driver for xxDOS, requiring only ~500 bytes of memory to support international keyboards☆17May 10, 2026Updated 3 months ago
- simple language☆12May 10, 2026Updated 3 months ago
- [wip] aspirationally-backfilled backlink indexer for the AT Protocol☆13Apr 4, 2025Updated last year