Discover @oeb25 Open Source projects

Oliver Bøving (@oeb25)

oeb25

Stars
44
Global Rank 371,172 (Top 13 %)
Followers 22
Following 29
Registered almost 12 years ago
Most used languages

Rust
40.0 %

TypeScript
26.7 %

Shell
6.7 %

Go
6.7 %

JavaScript
6.7 %

HTML
6.7 %

NSIS 6.7 %
Location 🇩🇰 Denmark
Country Total Rank 1,469
Country Ranking

NSIS 2

Rust
67

Go
128

TypeScript
350

HTML
438

JavaScript
581

Shell
591

smtlib-rs

A high-level API for interacting with SMT solvers.

VectorJs

go-bridge

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

lo

👋 lo is a tiny but expressive compiled programming language

worksonmymachine.xyz

cdm

Algorithms and data structures for Computational Discrete Mathematics

naduo

A web app for natural deduction

excourser

Visual graph of courses on DTU

uncommon

A markdown-ish parser written for WASM in Rust

sql-fmt

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

ofmc-ui

A graphical user interface for interacting with OFMC

spaget

Straighten out your spaghetti tabs with this simple popup

super-tiny-service-example

A service example using Caddy as proxy all running in tiny precompiled Docker containers.

chilio

mist

Mist: Userfriendly verification language

abeye

🐝 OpenAPI client generator