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:
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Sep 28, 2026Updated last week
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 6 years ago
- ☆12Dec 22, 2020Updated 5 years ago
- A light-weight general-purpose library to help represent situations where the type of a value is one of a set of types. An alternative to…☆21Sep 11, 2025Updated last year
- ☆22Sep 1, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- EMUCHIP8, a CHIP-8 emulator.☆12Apr 8, 2021Updated 5 years ago
- ☆23May 10, 2025Updated last year
- Frontend for https://meaningfulcode.org, promoting open-source for good projects to contribute to.☆18Nov 20, 2024Updated last year
- An Idris 2 build tool and a package manager☆28Jan 28, 2023Updated 3 years ago
- 100% ergo keyboard based on rp2040 Zero Board☆11Apr 12, 2023Updated 3 years ago
- ☆10Apr 20, 2022Updated 4 years ago
- neovim plugin manager☆16Jun 26, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Discordslashcommand is an extension library to discord.py. It allows you to easily manipulate discord slash (/) commands. You can create …☆12Jul 20, 2021Updated 5 years ago
- Fast XML parser for Lua☆11Jul 15, 2026Updated 2 months ago
- A 3D mass-spring real world simulator with more types of forces(gravity, electricity, spring, collision, ...)☆19Sep 4, 2020Updated 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 9 years ago
- Dhall bindings for Idris☆42Aug 14, 2025Updated last year
- Forth kernel for the IPython notebook☆25Feb 21, 2023Updated 3 years ago
- Turn web cam into a black / white board☆176Sep 3, 2021Updated 5 years ago
- Bootloader for 16-bit .COM and .EXE executables☆34Feb 18, 2020Updated 6 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.
- zsh plugins for vivid☆14Apr 22, 2026Updated 5 months ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆17Mar 16, 2026Updated 6 months ago
- CursorFX to X11 cursor theme converter☆15Mar 14, 2015Updated 11 years ago
- ☆16May 7, 2020Updated 6 years ago
- Add General Purpose Input and Output Pins to your Laptop/Desktop through your USB Port.☆20Apr 11, 2020Updated 6 years ago
- An Idris port of the Haskell Hedghog library☆38Jul 5, 2026Updated 3 months 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
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Final Fight port for the Colour Maximite 2☆11Aug 4, 2021Updated 5 years ago
- Linux 3.0.101 source tree for i8190☆19May 20, 2017Updated 9 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 4 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
- Library containing the definition of S-expressions and some base converters☆21Jul 10, 2026Updated 3 months ago
- ☆12Mar 9, 2026Updated 7 months ago
- A small 3D game engine geared towards developing retro games.☆14Oct 8, 2024Updated 2 years ago