Fil-C as a Nix C/C++ toolchain and cross platform
☆91Apr 22, 2026Updated 3 weeks 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☆23Apr 6, 2026Updated last month
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆22Feb 22, 2026Updated 2 months ago
- ☆44May 4, 2026Updated 2 weeks ago
- Artificial Neural Network implementation in Common Lisp☆10Mar 3, 2019Updated 7 years ago
- scriptable runtime-writable livecd / hardware wrangler☆28Mar 26, 2026Updated last month
- 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.
- Use Nix and NixOS on your DGX Spark!☆62May 10, 2026Updated last week
- FTE: The Folding Text Editor (fork for DOS / DOS4GW)☆13Jul 18, 2020Updated 5 years ago
- system to run repls in background, useful for ai automation☆19Jul 6, 2025Updated 10 months ago
- Kagi AI client for Go.☆16May 4, 2024Updated 2 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- No Longer Maintained, use https://github.com/apprenticeharper/DeDRM_tools☆12Aug 25, 2013Updated 12 years ago
- ☆11Oct 2, 2022Updated 3 years ago
- ☆13Apr 15, 2019Updated 7 years ago
- ☆20Mar 20, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My personal helix fork☆21Updated this week
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆30Mar 26, 2019Updated 7 years ago
- Github action for typechecking a neovim plugin☆21Dec 3, 2025Updated 5 months ago
- Easy resizing of emacs windows.☆16Oct 29, 2018Updated 7 years ago
- A platform agnostic driver to interface with LSM9DS1 3D accelerometer, 3D gyroscope, 3D magnetometer sensor module.☆10Feb 24, 2024Updated 2 years ago
- Pretty printer for Scala type errors☆13Jan 1, 2017Updated 9 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 4 years ago
- My Kubernetes cluster config in nix using nixidy☆27May 13, 2026Updated last week
- X11 server☆17Apr 22, 2026Updated 3 weeks ago
- AI Agents on 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.
- ☆37Mar 29, 2024Updated 2 years ago
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- CauseWay DOS Extender v3.52☆25Jan 21, 2022Updated 4 years ago
- Historical Bell Labs ratfor code. Plus an attempt to modernize it.☆20Dec 12, 2021Updated 4 years ago
- Redirect and clean URLs in qutebrowser.☆18Feb 28, 2026Updated 2 months ago
- OBSOLETE: Standardized way of making distributed backups of some secret using Shamir secret sharing technique☆12Aug 3, 2019Updated 6 years ago
- Declaratively manage keys in hardware tokens, from NixOS.☆56Dec 10, 2025Updated 5 months ago
- ACCESSIBLE ELECTRONIC VOTING SYSTEM☆16Jun 22, 2019Updated 6 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 11 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.
- My system configurations, dotfiles, and other miscellanies☆19Apr 28, 2026Updated 3 weeks ago
- Fork of Max Kellermann's CeGCC build scripts, now also supporting i386☆18Feb 26, 2024Updated 2 years ago
- FreeDOS standard line editor☆23Jul 25, 2023Updated 2 years ago
- ☆14May 18, 2024Updated 2 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- ☆12May 9, 2026Updated last week
- Pixel 7 and Pixel 7 Pro device sources.☆22Nov 12, 2025Updated 6 months ago