dataO1

DFKIGermany

Pinned Repositories

AutoRepair
automatic code repairer for python from the lecture Automated Debugging
Language:Python0 1 00
bson-mapping
type safe mapping between algebraic data types and bson documents.
Language:Haskell0 0 01
flow
Terminal music player and cue point editor.
Language:Rust4 1 00
odj
Language:C0 1 00
openlayers
OpenLayers Fork for newer geotiff version
Language:JavaScript0 0 00
rofi-rbw
Rofi frontend for Bitwarden
Language:Python0 0 00
rust-tui-audio
(Mirrored from private gitlab instance) A learning app with a terminal user interface to show a live waveform from the default mic
Language:Rust0 0 00
unison
A friendly programming language from the future
Language:Vim Script0 0 00
vim-lore
Language:Vim Script0 0 00

dataO1's Repositories

dataO1/flow
Terminal music player and cue point editor.
Language:Rust4 1 00
dataO1/AutoRepair
automatic code repairer for python from the lecture Automated Debugging
Language:Python0 1 00
dataO1/bson-mapping
type safe mapping between algebraic data types and bson documents.
Language:Haskell0 0 01
dataO1/odj
Language:C0 1 00
dataO1/openlayers
OpenLayers Fork for newer geotiff version
Language:JavaScript0 0 00
dataO1/rofi-rbw
Rofi frontend for Bitwarden
Language:Python0 0 00
dataO1/rust-tui-audio
(Mirrored from private gitlab instance) A learning app with a terminal user interface to show a live waveform from the default mic
Language:Rust0 0 00
dataO1/unison
A friendly programming language from the future
Language:Vim Script0 0 00
dataO1/vim-lore
Language:Vim Script0 0 00