Herman Bergwerf's repositories
ngl_viewer
NGL Viewer Dart library
star_semiring
*semiring library for Coq
periodic_table
The Periodic Table of Elements data as Dart package
permutation_factors
Purely functional permutation puzzle solver (Schreier-Sims-Minkwitz).
hash-compare
Hash and compare function generator
illustrations
Some (vector) illustrations
intuitionism
Intuitionistic (Brouwerian) mathematics in Coq
linear_integer_arithmetic
Linear integer arithmetic decidability via automata.
pi_language
Esoteric programming language where everything is a channel.
bergwerf.github.io
My personal webpage
chemlambda-ide
An IDE for Chemlambda
cratedb
CrateDB is a distributed SQL database that makes it simple to store and analyze massive amounts of data in real-time. Built on top of Lucene.
cratedb_gcs
CrateDB Google Cloud Storate Integration
dart-sprintf
Dart implementation of sprintf
dart-vorbis
OGG Vorbis decoder ported to Dart
field_animation
A WebGL implementation of vector field animations
later_modality
A completeness result
passepartout
Simple passe-partout creator
pixelchess
Minimalistic Chess Game