Remco Schrijver's repositories
nix-config
Personal nix configuration
advent-of-code
Collection of solutions for Advent of Code
adguardhome-sync
🛡️ Synchronize AdGuard Home config to replicas
agda
Agda is a dependently typed programming language / interactive theorem prover.
app-screenshot-builder
Play Store and App Store application screenshot builder
bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
castblock
Automatically skip sponsor segments in YouTube videos playing on Chromecast.
CESE4055-wireless-network-simulator
A Fork of Wireless Network Simulator used for the Ad hoc and Sensor networks projects
CS4340-assignment
Probabilistic Programming assignment for CS4340
dart_pdf
Pdf creation module for dart/flutter
development-tools
Personally used development scripts and tools to make development easier. Mostly consists out of a bunch of Python scripts.
epub.js
Enhanced eBooks in the browser.
espanso
Cross-platform Text Expander written in Rust
espanso-website
The official espanso website
fauxpilot
FauxPilot - an open-source alternative to GitHub Copilot server
feeling-responsive
»Feeling Responsive« is a free flexible theme for Jekyll built on Foundation framework. You can use it for your company site, as a portfolio or as a blog.
gnome-shell-extension-another-window-session-manager
A Gnome shell extension to close open windows gracefully and save them as a session. The previous session can be restored at startup. Most importantly, it supports both X11 and Wayland!
hon
Home Assistant integration for Haier hOn: support for Haier/Candy/Hoover home appliances like washing machines and air conditioners in 19 languages.
jellyfin-web
Web Client for Jellyfin
jellyflut
Just a jellyfin client made in flutter (side project quality code)
Keycloak.Net
C# client for Keycloak 6.x
nixpkgs
Nix Packages collection & NixOS
pyhOn
Control hOn devices with python
scala-advent-of-code
Scala Center's solution of Advent of Code
sms1
Used for REMLA assignments
streamdeck-linux-gui
A Linux compatible UI for the Elgato Stream Deck.
wger-flutter
Flutter fitness/workout app for wger