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
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Sep 10, 2026Updated last week
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 6 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…☆20Sep 11, 2025Updated last year
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- A command-line interface for programmers who love soccer☆11Dec 11, 2022Updated 3 years ago
- A GitHub Action to send Discord webhook.☆11Aug 31, 2026Updated 2 weeks ago
- ☆23May 10, 2025Updated last year
- Open-source Discord bot with cool SkyBlock features. 🌺☆24Jan 9, 2023Updated 3 years ago
- 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
- Base252 is a binary to C string encoding scheme with flexible escaping.☆23Jul 20, 2020Updated 6 years ago
- ☆26Jan 22, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- Sample Dockerized flask app deployed on Kubernetes on Azure using AKS☆22Feb 17, 2023Updated 3 years ago
- Build shell commands from Nix attribute sets.☆18May 23, 2024Updated 2 years ago
- WIP - Vim / Neovim syntax colorscheme inspired by the 80s Retrofuturism/Synthwave/Outrun aesthetics☆10Sep 21, 2018Updated 7 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
- zsh plugins for vivid☆14Apr 22, 2026Updated 4 months ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆17Mar 16, 2026Updated 6 months ago
- Package manager for Idris☆38Jul 21, 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.
- CursorFX to X11 cursor theme converter☆15Mar 14, 2015Updated 11 years ago
- ☆16May 7, 2020Updated 6 years ago
- N/A☆19Nov 10, 2020Updated 5 years ago
- Add General Purpose Input and Output Pins to your Laptop/Desktop through your USB Port.☆20Apr 11, 2020Updated 6 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
- An Idris port of the Haskell Hedghog library☆38Jul 5, 2026Updated 2 months ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 4 years ago
- ☆16Feb 5, 2024Updated 2 years ago
- Dump your Xbox game disks to usb☆13May 10, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 2 months ago
- ☆19Jan 8, 2026Updated 8 months ago
- Wannabe Minecraft-like in C++/OpenGL☆11Feb 22, 2024Updated 2 years ago
- 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 4 months ago
- simple language☆12May 10, 2026Updated 4 months ago