Fil-C as a Nix C/C++ toolchain and cross platform
☆85Dec 4, 2025Updated 4 months ago
Alternatives and similar repositories for filnix
Users that are interested in filnix 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 matrix bot to get notified of nixpkgs-update build failures☆23Mar 30, 2026Updated last week
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆21Feb 22, 2026Updated last month
- Use Nix and NixOS on your DGX Spark!☆44Updated this week
- A Clojure wrapper around JNR-FFI☆13Aug 19, 2023Updated 2 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A collection of Amateur Radio software packaged for Nix☆27Apr 13, 2023Updated 2 years ago
- Forth Programmable Breadboard☆11Jun 15, 2023Updated 2 years ago
- ☆11Oct 2, 2022Updated 3 years ago
- Verified Intermediate Representation☆39Apr 1, 2026Updated last week
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆30Mar 26, 2019Updated 7 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago
- My Kubernetes cluster config in nix using nixidy☆26Mar 28, 2026Updated last week
- purple: compiling a reflective language☆33Feb 27, 2026Updated last month
- Adds encrypted swap file to the system - for better protection of locally stored data and to aid environments with low RAM. https://www.k…☆15Mar 28, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 2 months ago
- The official Go SDK for SPIKE, enabling secure secrets management through SPIFFE-authenticated mTLS. Simplifies secrets operations for Go…☆14Jan 20, 2026Updated 2 months ago
- Integer hashing based on Knuth's multiplicative hashing algorithm.☆10Nov 23, 2019Updated 6 years ago
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Jun 3, 2017Updated 8 years ago
- ☪☮$m✡✝🍏linux, a Linux distribution based on cosmopolitan binaries☆21Dec 27, 2023Updated 2 years ago
- A Nix derivation for Foundry VTT☆57Updated this week
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- Python extension for the GNU project debugger (GDB)☆13Mar 6, 2020Updated 6 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated last year
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 8 months ago
- Python 3 interface to RChain RNode RPC☆10May 13, 2022Updated 3 years ago
- My system configurations, dotfiles, and other miscellanies☆19Mar 6, 2026Updated last month
- Functional Event Sourcing Decider in Ruby☆16Updated this week
- Fork of Max Kellermann's CeGCC build scripts, now also supporting i386☆18Feb 26, 2024Updated 2 years ago
- ☆13Nov 19, 2024Updated last year
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- ☆12Mar 24, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Imports Apple iPhoto and Aperture libraries into XBMC. Creates Events, Albums, Faces, Places, Keywords, and Ratings listings.☆22Sep 18, 2015Updated 10 years ago
- Ethereum Tx Decoder☆15Aug 17, 2021Updated 4 years ago
- Rust interface to the Linux key-management facility. Provides a safe interface around the raw system calls allowing user-space programs t…☆23Mar 21, 2026Updated 2 weeks ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 years ago
- Pixel 7 and Pixel 7 Pro device sources.☆22Nov 12, 2025Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated last year
- Elegant Emacs theme with bright colors, based on https://github.com/sindresorhus/hyper-snazzy☆12Mar 12, 2017Updated 9 years ago