Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Awk
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Go
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Markdown
- Mustache
- Nix
- OCaml
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Shell
- Svelte
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- V
- Vim Script
- Vue
- XSLT
- Zig
❄️ van niets iets ⚙️ infrastructure from "nix" with flake-parts and clan
Aspect-oriented, context-driven Dendritic Nix configurations. [maintainer = @vic, @sini, @HeitorAugustoLN, @Gwenodai, @theutz, @DylanRJohnston]
Example Dendritic Nix setup implemented **without** flakes nor flake-parts.
Open Container Initiative-based implementation of Kubernetes Container Runtime Interface
RegisterMachine Go
projectatomic / oci-systemd-hook
Forked from mrunalp/hooksOCI hook to enable running systemd in a container
OCI hook to enable running systemd in a container
Declarative hardware configuration for NixOS [maintainer=@brianmcgee,@Mic92]
A bash script that sets up zfs disks for NixOS.
The game of Notakto, made in Haskell with Apecs and Raylib
Recreating the Unity Roguelike Tutorial project in Haskell
A free, browser-based simulator of spintronic circuits.
The main repository for the development of the evolution game Thrive.
A geometry game based on Euclid's Elements.
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
Science-based games - a collaborative list
A collection of command line tools for executing, analyzing, and visualizing Befunge code.
A Nix shell to build a Linux kernel from source and run it in a virtual machine.
NixOS for Android Terminal (Android Virtualization Framework) [maintainers=@mkg20001]
Docker files to build a virtual environment to validate an MPTCP Upstream kernel 🧑💻
LOGO-like Turtle Graphics in the Haskell language using Monads.
App source + Nix packages + Docker = Image
Zero-config application builder that automatically analyzes and turns your code into an image
Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven conf…