Oliver BΓΈving (@oeb25)
github

oeb25

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

smtlib-rs

A high-level API for interacting with SMT solvers.
Rust
11
star
2

VectorJs

JavaScript
9
star
3

go-bridge

Convert your Go structs to other languages, including TypeScript / Flow, Elm and Rust among others!
Go
5
star
4

lo

πŸ‘‹ lo is a tiny but expressive compiled programming language
Rust
3
star
5

worksonmymachine.xyz

Visit us at
HTML
2
star
6

cdm

Algorithms and data structures for Computational Discrete Mathematics
Rust
2
star
7

naduo

A web app for natural deduction
TypeScript
2
star
8

excourser

Visual graph of courses on DTU
TypeScript
1
star
9

uncommon

A markdown-ish parser written for WASM in Rust
1
star
10

sql-fmt

A _very inprogress_ SQL parser and formatter written in Rust, specifically ment to be used with PostgreSQL
Rust
1
star
11

ofmc-ui

A graphical user interface for interacting with OFMC
TypeScript
1
star
12

spaget

Straighten out your spaghetti tabs with this simple popup
TypeScript
1
star
13

super-tiny-service-example

A service example using Caddy as proxy all running in tiny precompiled Docker containers.
Shell
1
star
14

chilio

NSIS
1
star
15

mist

Mist: Userfriendly verification language
Rust
1
star
16

abeye

🐝 OpenAPI client generator
Rust
1
star