A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
☆13Dec 29, 2023Updated 2 years ago
Alternatives and similar repositories for ari
Users that are interested in ari are comparing it to the libraries listed below
Sorting:
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Mar 22, 2015Updated 10 years ago
- Substitutes a directory elsewhere on macOS by replacing system calls☆20Dec 2, 2025Updated 3 months ago
- A cosmic, polyphonic, additive FM synthesizer.☆20Apr 6, 2023Updated 2 years ago
- Minimalistic color palette generator☆19Jan 26, 2019Updated 7 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆37Jan 25, 2026Updated last month
- Rust and Zig interfaces for Vulkan☆30Feb 20, 2026Updated last week
- Track your Nix closures over time☆35Sep 20, 2025Updated 5 months ago
- Add additional checks and more information from build logs and outputs to the reports generated by nixpkgs-review.☆37Dec 25, 2024Updated last year
- ☆14Jul 25, 2025Updated 7 months ago
- A testing email SMTP server☆11Mar 10, 2025Updated 11 months ago
- This repository is just a mirror. Use the bitbucket repository for issues and pull requests.☆11Dec 6, 2021Updated 4 years ago
- Parses the PARTOUT(4.0)RESOURCE file format used by Maxis/Cinematronics in Full Tilt Pinball and displays the contents.☆13Nov 18, 2022Updated 3 years ago
- ☆10May 28, 2025Updated 9 months ago
- MOHTools (.map editor & BSP compiler for MOH:AA)☆16Dec 13, 2017Updated 8 years ago
- Docker image for Left 4 Dead 2 (L4D2) server.☆11Oct 5, 2020Updated 5 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- ☆10Jul 4, 2022Updated 3 years ago
- Build Mirage unikernels with Nix☆48Feb 5, 2026Updated 3 weeks ago
- A nix filter with straight-forward include semantic☆12Aug 31, 2023Updated 2 years ago
- public domain usb hacking logos☆12Sep 23, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- Sources for Elm Repl in browser☆10Dec 6, 2022Updated 3 years ago
- A cross-platform text only clipboard facade for terminal applications written in Rust☆11Oct 31, 2023Updated 2 years ago
- channels.nix.gsc.io☆15May 24, 2023Updated 2 years ago
- create informational boxes in the terminal☆14Nov 16, 2022Updated 3 years ago
- Script editor for Scripts.{rxdata, rvdata, rvdata2}☆10Oct 20, 2020Updated 5 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- Modern and minimalistic open-source speedrun timer☆21Sep 12, 2025Updated 5 months ago
- Personal cheat sheet (moved off betaveros.github.io)☆11Jan 5, 2025Updated last year
- My personal NixOS configs☆13Updated this week
- ☆12Mar 18, 2020Updated 5 years ago
- Scripts for undervolting 6+th gen Intel i* CPUs and their internal GPU.☆10Feb 19, 2018Updated 8 years ago
- A periodic table plugin for Nushell.☆15Aug 25, 2025Updated 6 months ago
- Track the origin of your json values for better error reporting!☆16Oct 10, 2020Updated 5 years ago
- Native JSON for Rust☆17Dec 10, 2023Updated 2 years ago
- ☆13Updated this week
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 2 years ago