Arnoud van der Leer's repositories
CSS-Preprocessor
A CSS preprocessor in Java
processing-nurbs
A nurbs library for Processing
churchmembers
A fork of https://sourceforge.net/projects/churchmembers/
Language:PHP000
Language:TeXCC-BY-SA-4.0000
http-server
A HTTP(S) server implementation in C#
HTTPVBM
HTTP valt best mee
Language:Python000
IN4152
An implementation of Lloyd's method for creating a Poisson disc distribution on a set of Wang tiles
Language:JavaGPL-3.0000
Java-Web-Protocols
A Java Library for using the HTTP and WS protocol formats
js-serializer
A javascript serializer to and from XML
TI1216-TwoBrains
ASDF
Language:Java000
Language:Python000
processing4
Processing 4.x releases (currently in “beta”) that use Java 17
Language:JavaNOASSERTION000
python-animations
A library for animations in python using matplotlib
strong-approximation-sage
Accompanying sage code for the thesis "Strong Approximation for a Family of Quadratic Surfaces"
superbrain
A neural networks evolver
talos
A multi level authorization project
Language:C#Apache-2.0000
test02_chat
simple chat
000
Language:JavaScript000
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:CoqNOASSERTION000