Block or Report
Block or report fjolne
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (2)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
Madness enables you to easily run the same binary on NixOS and non-NixOS systems
Selenium-automated Jupyter Notebook that is synchronised with NeoVim in real-time.
Material for cuda-mode lectures
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
Useful Nix templates to build random things
Tiled scrollable window management for Gnome Shell
Write any JavaScript with 6 Characters: []()!+
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A simple CLI tool to allow you to use Python "normally" in NixOS
sleuth.vim: Heuristically set buffer options
A Zig language server supporting Zig developers with features like autocomplete and goto definition
Official documentation for getting things done with Nix.
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
Configure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]
An unnecessarily tiny implementation of GPT-2 in NumPy.
Easy insertion of unicode math symbols
An introduction to theorem proving in Lean for the impatient.