Pinned Repositories
administration
arnoudvanderleer.github.io
My academic page
churchmembers
A fork of https://sourceforge.net/projects/churchmembers/
cs-calc
Some C# programs to perform a couple of simple calculations
CSS-Preprocessor
A CSS preprocessor in Java
CT4P
GrpdHITs
http-server
A HTTP(S) server implementation in C#
processing-nurbs
A nurbs library for Processing
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
arnoudvanderleer's Repositories
arnoudvanderleer/CSS-Preprocessor
A CSS preprocessor in Java
arnoudvanderleer/processing-nurbs
A nurbs library for Processing
arnoudvanderleer/administration
arnoudvanderleer/arnoudvanderleer.github.io
My academic page
arnoudvanderleer/churchmembers
A fork of https://sourceforge.net/projects/churchmembers/
arnoudvanderleer/cs-calc
Some C# programs to perform a couple of simple calculations
arnoudvanderleer/CT4P
arnoudvanderleer/GrpdHITs
arnoudvanderleer/http-server
A HTTP(S) server implementation in C#
arnoudvanderleer/HTTPVBM
HTTP valt best mee
arnoudvanderleer/IN4152
An implementation of Lloyd's method for creating a Poisson disc distribution on a set of Wang tiles
arnoudvanderleer/Java-Web-Protocols
A Java Library for using the HTTP and WS protocol formats
arnoudvanderleer/js-serializer
A javascript serializer to and from XML
arnoudvanderleer/TI1216-TwoBrains
ASDF
arnoudvanderleer/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
arnoudvanderleer/largecatmodules
Large category of modules over monads on top of UniMaths and Display category
arnoudvanderleer/Mod_2B
arnoudvanderleer/processing4
Processing 4.x releases (currently in “beta”) that use Java 17
arnoudvanderleer/python-animations
A library for animations in python using matplotlib
arnoudvanderleer/refactor-coq
Two scripts for refactoring coq code
arnoudvanderleer/SetHITs
arnoudvanderleer/strong-approximation-sage
Accompanying sage code for the thesis "Strong Approximation for a Family of Quadratic Surfaces"
arnoudvanderleer/superbrain
A neural networks evolver
arnoudvanderleer/talos
A multi level authorization project
arnoudvanderleer/test02_chat
simple chat
arnoudvanderleer/test07_2048
arnoudvanderleer/thesis
A repository where I will write the bulk of my thesis
arnoudvanderleer/TypeTheory
The mathematical study of type theories, in univalent foundations
arnoudvanderleer/Unimath-Schools