Skip to content
View teschmitt's full-sized avatar
🏠
Working from home
🏠
Working from home
  • MaibornWolff
  • Darmstadt, Germany
Block or Report

Block or report teschmitt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
140 results for source starred repositories
Clear filter

The slides and demo code of my 'When to (not) use typestate' talk at RustFest Zurich 2024

4 Updated Jun 25, 2024

A small language that compiles to WebAssembly Text format

C 73 2 Updated Apr 28, 2024

Verified Rust for low-level systems code

Rust 1,094 59 Updated Jul 28, 2024

A x86_64 C99 compiler written in Rust from scratch

Rust 379 12 Updated Jun 11, 2024

List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

14,511 721 Updated Jul 19, 2024

The realtime kanban board for workgroups built with React and Redux.

JavaScript 7,457 688 Updated Jul 26, 2024

🚂 🦀 The one-person framework for Rust for side-projects and startups

Rust 3,670 154 Updated Jul 28, 2024

Implementing TCP In Rust

355 19 Updated Jun 5, 2024

A Python Interpreter written in Rust

Rust 18,108 1,215 Updated Jul 29, 2024

A simple, fast, and secure operating system for the cloud.

Rust 746 22 Updated Jul 29, 2024

Open Source realtime backend in 1 file

Go 36,714 1,654 Updated Jul 27, 2024

Unix-like kernel written in Rust

Rust 2,854 90 Updated Jul 28, 2024

Use bitsized types as if they were a feature of rust.

Rust 172 16 Updated May 17, 2024

Arduino library for the DFPlayer Mini Mp3 module. Please refer to the Wiki for more details. Please use the GitHub Discussions ask questions as the GitHub Issues feature is used for bug tracking.

C++ 141 32 Updated Feb 6, 2024

Lightning-fast and Powerful Code Editor written in Rust

Rust 33,916 1,006 Updated Jul 29, 2024

✨🤝✨ Build instant multiplayer webapps, no server required — Magic WebRTC matchmaking over BitTorrent, Nostr, MQTT, IPFS, Supabase, and Firebase

JavaScript 1,063 81 Updated Jul 27, 2024

Educational blog posts for Rust beginners

Rust 6,958 372 Updated Jul 26, 2024

Modern embedded framework, using Rust and async.

Rust 4,920 675 Updated Jul 29, 2024

A python implementation in the spirit of the NetworkZero and GuiZero libraries

Python 3 2 Updated Oct 11, 2023

A Rust-based userland which also adds compile-time assurances to seL4 development.

Rust 107 10 Updated Jul 25, 2023

The seL4 microkernel

C 4,628 650 Updated Jul 22, 2024

Common Open Research Emulator

Python 657 162 Updated Jul 26, 2024

Resources to tunnel Wireguard over Websockets

Shell 167 34 Updated Jul 1, 2024

WireGuard implementation for ESP32 Arduino

C 785 61 Updated Apr 1, 2024

Easy MultiSensor device based on ESP8266/ESP32

C++ 3,226 2,195 Updated Jul 28, 2024

Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recip…

Python 5,782 627 Updated Jul 29, 2024

Rust implementation of a DTN based on RFC 9171

Rust 75 20 Updated May 28, 2024

A collection of docker containers for local community software

HTML 1 1 Updated Jul 17, 2022

A 5$ Xilinx ZYNQ development board.

621 163 Updated May 15, 2021

keychain ssh-agent front-end

Shell 744 104 Updated Mar 18, 2022
Next