Discover @bergwerf Open Source projects

Herman Bergwerf (@bergwerf)

bergwerf

Stars
73
Global Rank 261,080 (Top 9 %)
Followers 75
Following 11
Registered over 11 years ago
Most used languages

Dart
48.0 %

JavaScript
20.0 %

Coq 12.0 %

Python
8.0 %

C
4.0 %

Shell
4.0 %

Go
4.0 %
Location 🇳🇱 Netherlands
Country Total Rank 4,198
Country Ranking

Coq 4

Dart
48

Shell
1,394

Go
1,488

C
1,673

Python
2,029

JavaScript
3,164

fltk-dart

Dart bindings for FLTK! (Dart 1.*)

bashbeautify

Bash script beautifier [UNMAINTAINED]

bromium

Engine for simulating reactions using Brownian motion

ngl_viewer

NGL Viewer Dart library

star_semiring

*semiring library for Coq

unifmt

A universal code formatter written in Dart

codecov-dart

Codecov for Dart using Bash

flumol

A rotating 3D molecule in Flutter

glutils

WebGL utility library written in Dart

periodic_table

The Periodic Table of Elements data as Dart package

revspace-pong

A pong game for the LED matrix at RevSpace!

project.yaml

One project.yaml to rule them all! [ARCHIVED]

risk

A recreation of the strategy game Risk using RaphaelJS

illustrations

Some (vector) illustrations

xdart

X11 TCP client in pure Dart

intuitionism

Intuitionistic (Brouwerian) mathematics in Coq

muxed

Multiplexed terminal text editor

dart-syntax

Dart language syntax definitions

dart-smt

SMT solver for Dart

euclid

Algorithms to compute intersections between 2D shapes

drive3d

OBJ viewer for Google Drive

permutation_factors

Purely functional permutation puzzle solver (Schreier-Sims-Minkwitz).

hash-compare

Hash and compare function generator

universal-kiosk

Universal Kiosk Chrome App

htgen

Functions for generating HTML

go_ctl

CTL testing with ROBDDs in Go