bergwerf

Life is an experience, computers are only a tool.

Bergwerf LabsAmsterdam, Netherlands

Pinned Repositories

bashbeautify
Bash script beautifier [UNMAINTAINED]
Language:Python13 5 67
bromium
Engine for simulating reactions using Brownian motion
Language:Dart6 2 61
fltk-dart
Dart bindings for FLTK! (Dart 1.*)
Language:Dart13 2 10
pebbling
Graph Pebbling in Coq
Language:Coq0 1 00
permutation_factors
Purely functional permutation puzzle solver (Schreier-Sims-Minkwitz).
Language:Coq2 1 00
pi_language
Esoteric programming language where everything is a channel.
Language:Go0 1 00
skip_list
A skip list in ML
Language:OCaml0 1 00
star_semiring
*semiring library for Coq
Language:Coq4 1 01
molview
The code of MolView.org
Language:JavaScript190 14 3551

bergwerf's Repositories

bergwerf/bromium
Engine for simulating reactions using Brownian motion
Language:Dart6 2 61
bergwerf/ngl_viewer
NGL Viewer Dart library
Language:Dart5 3 02
bergwerf/star_semiring
*semiring library for Coq
Language:Coq4 1 01
bergwerf/periodic_table
The Periodic Table of Elements data as Dart package
Language:Dart2 1 02
bergwerf/permutation_factors
Purely functional permutation puzzle solver (Schreier-Sims-Minkwitz).
Language:Coq2 1 00
bergwerf/drive3d
OBJ viewer for Google Drive
Language:JavaScript1 1 0
bergwerf/go_ctl
CTL testing with ROBDDs in Go
Language:Go1 1 0
bergwerf/hash-compare
Hash and compare function generator
Language:Dart1 1 0
bergwerf/htgen
Functions for generating HTML
Language:Dart1 1 0
bergwerf/illustrations
Some (vector) illustrations
Language:JavaScript1 1 0
bergwerf/intuitionism
Intuitionistic (Brouwerian) mathematics in Coq
Language:Coq1 1 0
bergwerf/linear_integer_arithmetic
Linear integer arithmetic decidability via automata.
Language:Coq0 1 00
bergwerf/pebbling
Graph Pebbling in Coq
Language:Coq0 1 00
bergwerf/pi_language
Esoteric programming language where everything is a channel.
Language:Go0 1 00
bergwerf/skip_list
A skip list in ML
Language:OCaml0 1 00
bergwerf/aoc2019
Advent of Code 2019
Language:COBOL1 0
bergwerf/bergwerf.github.io
My personal webpage
Language:HTML1 0
bergwerf/chemlambda-ide
An IDE for Chemlambda
Language:JavaScript2 0
bergwerf/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.
Language:Java0 0
bergwerf/cratedb_gcs
CrateDB Google Cloud Storate Integration
Language:Java2 3
bergwerf/cruzzle2
The Cruzzle Puzzle
Language:JavaScript1 0
bergwerf/dart-sprintf
Dart implementation of sprintf
Language:Dart0 0
bergwerf/dart-vorbis
OGG Vorbis decoder ported to Dart
Language:Dart1 0
bergwerf/field_animation
A WebGL implementation of vector field animations
Language:GLSL1 0
bergwerf/later_modality
A completeness result
Language:Coq1 0
bergwerf/passepartout
Simple passe-partout creator
Language:HTML1 0
bergwerf/pixelchess
Minimalistic Chess Game
Language:JavaScript1 0
bergwerf/retro
My empty retro themed website.
Language:JavaScript1 0
bergwerf/seagame
A little story about an island in the sea
Language:JavaScript1 0
bergwerf/settheory
Set Theory in Coq
Language:Coq1 0