RemcoSchrijver
Follow
MSC Computer Science @ TU Delft, Thesis @AISE-TUDelft, Nix(OS) enjoyer, Rosé Pine all the things.
- Delft
-
04:20
(UTC +02:00) - https://gitlab.com/RemcoSchrijver
- in/remcoschrijver
-
cse3000-research-project.github.io Public
Forked from CSE3000-research-project/cse3000-research-project.github.ioTypeScript UpdatedJun 21, 2022 -
verification-of-infinite-structures Public
Forked from flupe/verification-templateAgda UpdatedJun 16, 2022 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedMay 27, 2022 -
drift Public
Forked from simolus3/driftDrift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.
Dart MIT License UpdatedMay 21, 2022 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedMar 2, 2022 -
Liquid-Pull-To-Refresh Public
Forked from aagarwal1012/Liquid-Pull-To-Refresh🔁 A custom refresh indicator for flutter.
Dart MIT License UpdatedDec 27, 2021 -
fluro Public
Forked from lukepighetti/fluroFluro is a Flutter routing library that adds flexible routing options like wildcards, named parameters and clear route definitions.
Dart MIT License UpdatedJul 18, 2021
Previous Next