toonn

Pinned Repositories

ranger
A VIM-inspired filemanager for the console
Language:Python15.1k 157 2.1k889
aplai
Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the APLAI course at KULeuven.
Language:Prolog1 4 00
coderdojo-katana
Ninjas need katanas, scratchers need gamepads
Language:Python0 4 00
dotfiles
Some of the dotfiles I can't do without.
Language:Shell5 3 00
nix-config
My personal Nix configuration
Language:Nix7 3 01
Nix-macOS-Monthly
Nix 🖤 macOS Monthly Discourse update posts
10 4 00
skeletonkey
The Master Password algorithm implemented in haskell
Language:Haskell1 3 00
spellbinder
Declaratively manage a directory tree and a corresponding set of bind mounts
Language:Haskell1 4 00
sudoku-collection
Collection of sudoku, useful to test sudoku solving programs.
Language:Python4 3 00

toonn's Repositories

toonn/Nix-macOS-Monthly
Nix 🖤 macOS Monthly Discourse update posts
10 4 00
toonn/nix-config
My personal Nix configuration
Language:Nix7 3 01
toonn/dotfiles
Some of the dotfiles I can't do without.
Language:Shell5 3 00
toonn/github-docs
The open-source repo for docs.github.com
Language:JavaScript1 1 0
toonn/nixpkgs
Nix Packages collection
Language:Nix1 3 0
toonn/AdventOfCode
My solutions to the Advent of Code puzzles: https://adventofcode.com
Language:Haskell3 0
toonn/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell3 0
toonn/darwin-build-box
Darwin build box for Nix community members
Language:Nix1 0
toonn/darwin-stubs
Text API (TAPI) files to support a pure build environment on macOS in nixpkgs.
Language:Shell2 0
toonn/dosage
dosage is a comic strip downloader and archiver
Language:Python2 0
toonn/ff-conf
Some config files to improve my firefox experience.
Language:CSS3 0
toonn/gb-studio
A quick and easy to use drag and drop retro game creator for your favourite handheld video game system
Language:C1 0
toonn/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Language:Nix2 0
toonn/hledger
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
Language:Haskell1 0
toonn/holochain
The current, performant & industrial strength version of Holochain on Rust.
Language:Rust1 0
toonn/home-manager
Manage a user environment using Nix
Language:Nix2 0
toonn/JarandiJuego
This may become a playable game at some point
Language:C2 0
toonn/jupyter_server
The backend—i.e. core services, APIs, and REST endpoints—to Jupyter web applications.
Language:Python1 0
toonn/neomutt
✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
Language:C1 0
toonn/neomutt.github.io
📚 NeoMutt web pages
Language:HTML1 0
toonn/nix
Nix, the purely functional package manager
Language:C++2 0
toonn/nix-darwin
nix modules for darwin
Language:Nix2 0
toonn/nur-packages
Darwin apps and other tidbits
Language:Nix3 01
toonn/OmniBOR-site
OmniBOR Website
Language:HTML1 0
toonn/PROJ
PROJ - Cartographic Projections and Coordinate Transformations Library
Language:C++1 0
toonn/ranger
A VIM-inspired filemanager for the console
Language:Python3 0
toonn/ranger.github.io
The website of ranger
Language:HTML2 0
toonn/selfoss
multipurpose rss reader, live stream, mashup, aggregation web application
Language:PHP1 0
toonn/teensy_loader_cli
Command line Teensy Loader
Language:C1 0
toonn/tweag-nixos-rfcs
The Nix community RFCs
2 0