My user environment managed by nix with home-manager
☆11Oct 29, 2020Updated 5 years ago
Alternatives and similar repositories for home-arnaud
Users that are interested in home-arnaud are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Popcorn.moe Web☆13Oct 2, 2018Updated 8 years ago
- Thundermusic☆13Dec 11, 2022Updated 3 years ago
- Our website☆11Dec 6, 2022Updated 3 years ago
- Popcorn.moe Api☆11Nov 3, 2018Updated 7 years ago
- Ruby tips to win in every code-golf challenge☆13Apr 9, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Pump It Up based theme for StepMania 5.☆16Dec 21, 2019Updated 6 years ago
- Future-based USB host API for Rust☆17Jun 7, 2019Updated 7 years ago
- The official eykar client, a react website designed to be hosted on ipfs. It will eventually allow interaction with the eykar contract on…☆12Oct 10, 2025Updated last year
- ☆33Jun 3, 2021Updated 5 years ago
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- ☆11Jul 7, 2020Updated 6 years ago
- Tools for Crypto.org Chain wallet management and offline transaction signing☆10Mar 6, 2023Updated 3 years ago
- ☆10Jul 23, 2026Updated 3 months ago
- 📟 The console client for Olivia☆15Oct 20, 2022Updated 4 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.
- This bungeecord plugin optimizes the sending of minecraft resource packs on servers using Polymath technology.☆10Dec 22, 2025Updated 10 months ago
- Minimalistic systemd orchestrator☆13Feb 4, 2018Updated 8 years ago
- ArchLinux AUR public server (powered by AurBS)☆17Aug 21, 2021Updated 5 years ago
- A high performance Minecraft server written in Go.☆29Aug 31, 2020Updated 6 years ago
- This repository contains outdated documentation for the Nimiq PoW chain. The current developer documentation can be found at the link bel…☆13Jun 4, 2026Updated 4 months ago
- It's cursed. A hacked together web based editor/viewer for MiniMessage.☆15Aug 2, 2021Updated 5 years ago
- MCP-Reborn is an MCP (Mod Coder Pack) for Minecraft for making modded clients and researching its code. (1.13-1.21.1)☆14Oct 29, 2024Updated last year
- A Markdown parser and renderer library.☆15Dec 2, 2024Updated last year
- Crypto exchanges API/WSS async wrapper with gRPC powered server☆16Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Multiplayer dungeon game☆29May 31, 2020Updated 6 years ago
- Java Wrapper for the BotBlock API [Java - maintained by @Andre601]☆16Dec 18, 2021Updated 4 years ago
- Apibara Python SDK.☆13Dec 13, 2024Updated last year
- Nihil, a statically typed interpreted functional programming language☆70Apr 5, 2021Updated 5 years ago
- Official Plugin Page: https://www.spigotmc.org/resources/physicstogo-lightweight-physics-regeneration-plugin.17181/☆18Jan 31, 2024Updated 2 years ago
- Identity-Hiding-Ring-Signature-Zero-Knowledge-Proof based on Curve25519☆17Aug 13, 2021Updated 5 years ago
- Collections of awesome Crypto.com Chain related projects☆22Nov 2, 2023Updated 2 years ago
- Scrap proxies from the web☆14May 28, 2017Updated 9 years ago
- Linked Pixel Steganography (LPS) technique is a variant of the well-known LSB steganography. It can be applied to any type of images.☆21May 16, 2023Updated 3 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.
- building a programming language for upskilling. transpiler to C☆27Aug 24, 2022Updated 4 years ago
- A simple and generic NixOS configuration framework written in pure Nix☆11Jul 4, 2020Updated 6 years ago
- Systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and prove…☆16Updated this week
- meme programming language☆58Apr 24, 2020Updated 6 years ago
- Tama is a developer tool for building formally verified Ethereum smart contracts in Verity☆25Sep 15, 2026Updated last month
- Sudoku solver in Nix☆24Jan 7, 2022Updated 4 years ago
- An Arduino library for Redis that works on ESP8266.☆24Dec 31, 2018Updated 7 years ago