gunvirranu
Follow
Lists (3)
Starred repositories
A C++ serialization/deserialization library designed with embedded systems in mind
A C++ helper library for making communication libraries thread safe
Automatic tiling window manager for macOS à la xmonad.
Unicode® algorithms on a chip. Compliant with MISRA C:2012.
Statically assert that a program written in Rust does not panic
Create book from markdown files. Like Gitbook but implemented in Rust
The easiest way to run WireGuard VPN + Web-based Admin UI.
SPARK 2014 re-implementation of the TweetNaCl crypto library
Cap'n Proto serialization/RPC system - core tools and C++ library
A digital representation of Sikh Bani and other Panthic texts with a public logbook of sangat-sourced corrections.
Scapy: the Python-based interactive packet manipulation program & library.
Write and deploy websites using the C Programming Language.
A tiny implementation of the World Magnetic Model to calculate magnetic variation. This project is actively maintained.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
A curated list of awesome resources related to the Ada and SPARK programming language
Install all the tools required for building and testing C++/C projects.
Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, Chromium, Redis and WebKit/Safari
A header only C++ library that provides type safety and user defined literals for physical units
🌎 sgp4 orbit propagation library for modern c++11
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A new markup-based typesetting system that is powerful and easy to learn.
An extremely fast Python linter and code formatter, written in Rust.
A simple experiment manager for collecting data across parallel workloads.
A simple FSM for typescript. Stickler makes it easier to work with complicated, event driven code and protocols.
