Declarative, reproducible, statically typed build and deployment for Operating Systems.
☆37Jun 17, 2022Updated 3 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☆19Nov 15, 2025Updated 6 months ago
- ☆21May 19, 2025Updated last year
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- What flakes should have been☆21Jul 13, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A command-line interface for programmers who love soccer☆11Dec 11, 2022Updated 3 years ago
- Command line interface library in Idris☆34Jul 26, 2024Updated last year
- read gtfs-rt files in rust☆11Aug 19, 2025Updated 9 months ago
- An Idris 2 build tool and a package manager☆28Jan 28, 2023Updated 3 years ago
- An implementation of Conway's Game of Life in Solidity for Ethereum Networks.☆16Feb 1, 2021Updated 5 years ago
- Base252 is a binary to C string encoding scheme with flexible escaping.☆23Jul 20, 2020Updated 5 years ago
- ☆26Jan 22, 2024Updated 2 years ago
- neovim plugin manager☆16Jun 26, 2022Updated 3 years ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 3 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.
- WIP - Vim / Neovim syntax colorscheme inspired by the 80s Retrofuturism/Synthwave/Outrun aesthetics☆10Sep 21, 2018Updated 7 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
- "code rain" screensaver for MS-DOS a la The Matrix☆14Jul 24, 2018Updated 7 years ago
- ANSI escape codes for manipulating the terminal☆16Sep 4, 2017Updated 8 years ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 9 months ago
- Turn web cam into a black / white board☆174Sep 3, 2021Updated 4 years ago
- Package manager for Idris☆37Jul 21, 2022Updated 3 years ago
- Bootloader for 16-bit .COM and .EXE executables☆34Feb 18, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A CLI Tool to easily generate your Terraform configuration☆19Feb 20, 2021Updated 5 years ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆16Mar 16, 2026Updated 2 months ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years 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☆12Jun 28, 2021Updated 4 years ago
- ☆16Feb 5, 2024Updated 2 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Giving up on the 4bbp layer matriculate for now.☆11May 1, 2020Updated 6 years ago
- Tetris in 283 bytes of x86 code (run only on MS-DOS / FreeDOS, not a VM), written 1997 :-)☆14Feb 2, 2020Updated 6 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.
- Dump your Xbox game disks to usb☆13May 10, 2021Updated 5 years ago
- Partial implementation of OpenGL 1.x for the Xbox using NXDK and PBKit☆16Updated this week
- Turn any phone number into clickable whatsapp link☆19Mar 18, 2024Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆21May 15, 2026Updated last week
- ☆12Mar 9, 2026Updated 2 months ago
- mKEYB is a minimum keyboard driver for xxDOS, requiring only ~500 bytes of memory to support international keyboards☆17May 10, 2026Updated last week
- https://github.com/untodesu/riteg☆12Feb 3, 2025Updated last year