Fil-C as a Nix C/C++ toolchain and cross platform
☆92Apr 22, 2026Updated 2 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☆24Apr 6, 2026Updated 2 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆24Feb 22, 2026Updated 4 months ago
- My OS & dotfiles configuration for Linux and MacOS devices (Nix)☆24Mar 18, 2026Updated 3 months ago
- Artificial Neural Network implementation in Common Lisp☆10Mar 3, 2019Updated 7 years ago
- Use Nix and NixOS on your DGX Spark!☆76Jun 22, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- FTE: The Folding Text Editor (fork for DOS / DOS4GW)☆13Jul 18, 2020Updated 5 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- A collection of Amateur Radio software packaged for Nix☆27Apr 13, 2023Updated 3 years ago
- No Longer Maintained, use https://github.com/apprenticeharper/DeDRM_tools☆12Aug 25, 2013Updated 12 years ago
- Automated API for UCI WebReg☆12Dec 23, 2019Updated 6 years ago
- Elixir binding of the Zstandard library☆18Jun 28, 2021Updated 5 years ago
- ☆13Apr 15, 2019Updated 7 years ago
- 华科开放原子开源俱乐部对外公开文档☆18Jun 3, 2026Updated 3 weeks ago
- Convert text files to pdf☆24Aug 27, 2010Updated 15 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆30Mar 26, 2019Updated 7 years ago
- Runtime and bindings to common Objective-C frameworks.☆17Jan 22, 2025Updated last year
- 4.4BSD Lite Release 2: last and original Unix operating system source code from Berkeley☆12Sep 28, 2016Updated 9 years ago
- Verified Intermediate Representation☆62Updated this week
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago
- This repo uses DEM data to produce a simulation (gif) visualizing which areas will get drowned as sea-level rises.☆14Jun 12, 2021Updated 5 years ago
- X11 server☆17Updated this week
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- Tracing processes by semantic group (Erlang)☆21Oct 13, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 5 months ago
- Historical Bell Labs ratfor code. Plus an attempt to modernize it.☆21Dec 12, 2021Updated 4 years ago
- The official Go SDK for SPIKE, enabling secure secrets management through SPIFFE-authenticated mTLS. Simplifies secrets operations for Go…☆15Jan 20, 2026Updated 5 months ago
- Integer hashing based on Knuth's multiplicative hashing algorithm.☆10Nov 23, 2019Updated 6 years ago
- My Kubernetes cluster config in nix using nixidy☆29Jun 20, 2026Updated last week
- OBSOLETE: Standardized way of making distributed backups of some secret using Shamir secret sharing technique☆12Aug 3, 2019Updated 6 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14May 28, 2026Updated last month
- Declaratively manage keys in hardware tokens, from NixOS.☆57Dec 10, 2025Updated 6 months ago
- Morrow Designs Micronix and tools☆16Dec 8, 2025Updated 6 months 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.
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 7 years ago
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated last year
- My system configurations, dotfiles, and other miscellanies☆19Jun 22, 2026Updated last week
- Functional Event Sourcing Decider in Ruby☆16May 24, 2026Updated last month
- ☆13Nov 19, 2024Updated last year
- Ethereum Tx Decoder☆15Aug 17, 2021Updated 4 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 years ago