Discover @ChristianMoesl Open Source projects

Christian Mösl (@ChristianMoesl)

ChristianMoesl

Stars
32
Global Rank 468,722 (Top 17 %)
Followers 12
Following 9
Registered almost 9 years ago
Most used languages

Rust
33.3 %

TypeScript
22.2 %

Scala
11.1 %

C
11.1 %

Eagle 11.1 %

TeX
11.1 %
Location 🇦🇹 Austria
Country Total Rank 2,029
Country Ranking

Eagle 13

Scala
31

Rust
164

TeX
197

TypeScript
213

C
611

wasmdb

A Database for the browser using compiled SQL queries in WASM

lms-wasm

WASM as an embedded DSL in Scala

btor2tools-sys

Rust FFI bindings for https://github.com/Boolector/btor2tools

btor2tools.rs

High Level Rust Bindings for https://github.com/Boolector/btor2tools

poolcontroller

A raspberry PI is used to control the pool hardware (pumps, valves, temperature sensors,...), which can be accessed through an web interface.

concurrent-queue-model

Model of a concurrent FIFO queue written in Promela for the Spin model checker

midi-switcher

artnet-dmx-controller

This is a small LED controller for DMX LED spots, which can be accessed and controlled through the ArtNet protocol over Ethernet.

artnet-controller-firmware

The firmware (only the Application) for the ArtNet LED-Strip Controller and the ArtNet DMX Controller.