Skip to content
View klaeufer's full-sized avatar
:octocat:
:octocat:

Highlights

  • Pro

Block or report klaeufer

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
Showing results

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,593 109 Updated Oct 21, 2024

List of Formal Methods Courses

3 Updated Oct 4, 2019

TLA+ questions, answers, and experiments

TLA 22 Updated Aug 30, 2022

A simple C++ finite state machine library

C++ 967 175 Updated Jun 25, 2024

A curated list of Rust code and resources.

Rust 48,192 2,829 Updated Jan 13, 2025

A repository for the HG-UV98 radio

17 6 Updated Jul 10, 2019

Firmware + tips & tricks for the Lanch HG-UV98 APRS Radio

10 2 Updated May 20, 2022

Longitudinal status badges for your projects.

Python 2 1 Updated Sep 27, 2023

TLA+ language support for Visual Studio Code

TypeScript 360 36 Updated Dec 23, 2024

A terminal-based citation generator

Lua 12 3 Updated Jan 21, 2023

A compact cheat sheet for writing documentation string for Sphinx, with focus on Python.

17 1 Updated Jun 15, 2018

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

61,213 7,878 Updated Jan 16, 2025

Build C++ fast, with practically no configuration

Python 25 4 Updated Nov 17, 2024

scanf for modern C++

C++ 1,101 49 Updated Nov 7, 2024

A cheatsheet of modern C++ language and library features.

19,992 2,124 Updated Oct 15, 2024

Node.js mbtiles generator API/CLI to easily generate an MBTile using a remote tile-server

JavaScript 40 9 Updated Jan 21, 2016

Public "Regions" to be shared across users of the VGC VR-N7500, or the retevis rt99 radios.

1 1 Updated Sep 17, 2020

Repeater START - Showing The Amateur Repeaters Tool

Python 34 6 Updated Dec 31, 2024

Configuration utility for DMR radios

C 242 57 Updated Jul 27, 2024

A Python library for creating Github-style badges

Python 484 145 Updated Jun 6, 2024

Firmware patches for the TYT-MD380 handheld radio.

C 811 246 Updated Dec 28, 2024

Efficient immutable interval sets

Scala 49 5 Updated Mar 9, 2020

An automated georeferencer based on Li and Briggs' 2006 paper "Automated Georeferencing Based on Topological Point Pattern Matching"

Jupyter Notebook 11 1 Updated May 27, 2022

A curated list of awesome frameworks, libraries and software for the Java programming language.

42,525 7,415 Updated Nov 12, 2024

This example project shows how to compile a Webflux based Spring Boot application into a Native App using GraalVM Native Image locally & on GitHub Actions with & without Docker

Java 235 52 Updated Dec 19, 2024

Find roads that are the most curvy or twisty based on Open Street Map (OSM) data.

Python 230 40 Updated Jan 12, 2022
Java 8 21 Updated Jun 3, 2024

Generalized bananas, lenses and barbed wire

Haskell 342 56 Updated Dec 7, 2024
Next
Showing results