remcoschrijver Goto Github PK
Name: Remco Schrijver
Type: User
Bio: MSC Computer Science @ TU Delft, Thesis @AISE-TUDelft, Nix(OS) enjoyer, Rosé Pine all the things.
Location: Delft
Name: Remco Schrijver
Type: User
Bio: MSC Computer Science @ TU Delft, Thesis @AISE-TUDelft, Nix(OS) enjoyer, Rosé Pine all the things.
Location: Delft
🛡️ Synchronize AdGuard Home config to replicas
Collection of solutions for Advent of Code
Agda is a dependently typed programming language / interactive theorem prover.
Compiling Agda code to readable Haskell
Play Store and App Store application screenshot builder
A framework for the evaluation of autoregressive code generation language models.
Automatically skip sponsor segments in YouTube videos playing on Chromecast.
A Fork of Wireless Network Simulator used for the Ad hoc and Sensor networks projects
Probabilistic Programming assignment for CS4340
Pdf creation module for dart/flutter
Personally used development scripts and tools to make development easier. Mostly consists out of a bunch of Python scripts.
Drift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.
Enhanced eBooks in the browser.
Cross-platform Text Expander written in Rust
The official espanso website
FauxPilot - an open-source alternative to GitHub Copilot server
»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.
Fluro is a Flutter routing library that adds flexible routing options like wildcards, named parameters and clear route definitions.
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!
Home Assistant integration for Haier hOn: support for Haier/Candy/Hoover home appliances like washing machines and air conditioners in 19 languages.
Web Client for Jellyfin
Just a jellyfin client made in flutter (side project quality code)
C# client for Keycloak 6.x
🔁 A custom refresh indicator for flutter.
Personal nix configuration
Nix Packages collection & NixOS
Control hOn devices with python
Scala Center's solution of Advent of Code
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.