Beast code in Giters

maik's starred repositories

novelWriter

novelWriter is an open source plain text editor designed for writing novels. It supports a minimal markdown-like syntax for formatting text. It is written with Python 3 (3.9+) and Qt 5 (5.15) for cross-platform support.

Language:PythonGPL-3.0187200

manuskript

A open-source tool for writers

Language:PythonGPL-3.0168900

config-rs

⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).

Language:RustApache-2.0241800

import_converter

copies and organizes media files from a source (e.g. a memory card of a digital camera) and reencodes the movies using handbrake

Language:Rust100

InfluxDBv2Writer_GiraX1

Logic node for writing time series data to InfluxDB v2.0. This logic node can be used with Gira X1 (Hardware).

Language:C#MIT600

mission-profile-oss

Language:C++100

dbs-onboard-map-api

Language:C++Apache-2.0200

rail-horizon-oss

Rail Horizon OSS

Language:C++1000

learn-opengl

Learn OpenGL lessons in Rust

Language:RustZlib16400

tetra

🎮 A simple 2D game framework written in Rust

Language:RustMIT88800

shoot-out-your-life

little arcade game, created in Rust for Ludum Dare 44 Game Jam

Language:RustApache-2.0900

xv6-riscv

Xv6 for RISC-V

Language:CNOASSERTION643800

octox

Unix-like OS in Rust inspired by xv6-riscv

Language:RustApache-2.0126100

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaMIT224500

pingpong

This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.

Language:TLAMIT1700

OpenDDS

OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

Language:C++NOASSERTION128800