Rust programming, in Hungarian.

Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.

A professional and modern CV in LaTex

A feature-rich, yet simple finite state machine (FSM) implementation in C

Hjson, a user interface for JSON

Hjson for C++

A community-maintained Python framework for creating mathematical animations.

The Julia Programming Language

Relax! Flux is the ML library that doesn't make you tensor

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

QSopt_ex - an exact linear programming solver. This is a fork adding improvements to the build system, library and a Python interface.

Library for validated numerics using interval arithmetic

Embedded Rust device crates for STM32 microcontrollers

Fast Stepper Motor Library for Teensy boards

Your Gateway to Embedded Software Development Excellence 👽

Official electron build of draw.io

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Embedded Template Library

A lightweight C++ logging library

JSON for Modern C++

A simple C++ finite state machine library