RemcoSchrijver
MSC Computer Science @ TU Delft, Thesis @AISE-TUDelft, Nix(OS) enjoyer, Rosé Pine all the things.
Delft
Pinned Repositories
adguardhome-sync
🛡️ Synchronize AdGuard Home config to replicas
advent-of-code
Collection of solutions for Advent of Code
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda2hs
Compiling Agda code to readable Haskell
ai4se
Web site for the AI4SE Lab of JetBrains and TU Delft
app-screenshot-builder
Play Store and App Store application screenshot builder
Artifacts-Beyond-Acceptance-Rates-The-Impact-of-JetBrains-AI-Assistant-and-FLCC
Artifacts of the thesis on the impact of JetBrains AI Assistant and FLCC tools, containing a copy of the thesis, presentation, and diagrams.
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.
nix-config
Personal nix configuration
RemcoSchrijver's Repositories
RemcoSchrijver/nix-config
Personal nix configuration
RemcoSchrijver/advent-of-code
Collection of solutions for Advent of Code
RemcoSchrijver/adguardhome-sync
🛡️ Synchronize AdGuard Home config to replicas
RemcoSchrijver/ai4se
Web site for the AI4SE Lab of JetBrains and TU Delft
RemcoSchrijver/app-screenshot-builder
Play Store and App Store application screenshot builder
RemcoSchrijver/Artifacts-Beyond-Acceptance-Rates-The-Impact-of-JetBrains-AI-Assistant-and-FLCC
Artifacts of the thesis on the impact of JetBrains AI Assistant and FLCC tools, containing a copy of the thesis, presentation, and diagrams.
RemcoSchrijver/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
RemcoSchrijver/castblock
Automatically skip sponsor segments in YouTube videos playing on Chromecast.
RemcoSchrijver/CESE4055-wireless-network-simulator
A Fork of Wireless Network Simulator used for the Ad hoc and Sensor networks projects
RemcoSchrijver/CS4340-assignment
Probabilistic Programming assignment for CS4340
RemcoSchrijver/cse3000-research-project.github.io
RemcoSchrijver/dart_pdf
Pdf creation module for dart/flutter
RemcoSchrijver/development-tools
Personally used development scripts and tools to make development easier. Mostly consists out of a bunch of Python scripts.
RemcoSchrijver/epub.js
Enhanced eBooks in the browser.
RemcoSchrijver/espanso
Cross-platform Text Expander written in Rust
RemcoSchrijver/espanso-website
The official espanso website
RemcoSchrijver/fauxpilot
FauxPilot - an open-source alternative to GitHub Copilot server
RemcoSchrijver/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.
RemcoSchrijver/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!
RemcoSchrijver/hon
Home Assistant integration for Haier hOn: support for Haier/Candy/Hoover home appliances like washing machines and air conditioners in 19 languages.
RemcoSchrijver/jellyfin-web
Web Client for Jellyfin
RemcoSchrijver/jellyflut
Just a jellyfin client made in flutter (side project quality code)
RemcoSchrijver/Keycloak.Net
C# client for Keycloak 6.x
RemcoSchrijver/nixpkgs
Nix Packages collection & NixOS
RemcoSchrijver/pyhOn
Control hOn devices with python
RemcoSchrijver/remla-test
RemcoSchrijver/scala-advent-of-code
Scala Center's solution of Advent of Code
RemcoSchrijver/sms1
Used for REMLA assignments
RemcoSchrijver/streamdeck-linux-gui
A Linux compatible UI for the Elgato Stream Deck.
RemcoSchrijver/wger-flutter
Flutter fitness/workout app for wger