matu3ba
explore -> refine -> (formalize ->) automate. HIL, SIL, network test lib author. Know your constrains and how to inspect your system. TODO CI, VM, SIMD lib.
Aachen
Pinned Repositories
awesome-cli-rust
chepa
Fast checking of paths on conformance for shell coding and absence of antipatterns.
dotfiles
dotfiles_skeleton
robust and beginner friendly dotfile skeleton
libbuf.nvim
Low-level buffer helper library for neovim.
matu3ba.github.io
zig-reduce
super simplified reduce of Zig programs. might be extended over time.
zorro
bit hacks and basic compiler_rt in Zig optimized for 2s complement and verified in Z3
matu3ba's Repositories
matu3ba/awesome-cli-rust
matu3ba/dotfiles_skeleton
robust and beginner friendly dotfile skeleton
matu3ba/dotfiles
matu3ba/chepa
Fast checking of paths on conformance for shell coding and absence of antipatterns.
matu3ba/shcomp
Shell completion library
matu3ba/matu3ba.github.io
matu3ba/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
matu3ba/cerberus
Cerberus C semantics
matu3ba/ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
matu3ba/cpuset
Originally exported from code.google.com/p/cpuset, then maintained at github.com/lpechacek/cpuset, then migrated the repo here SUSE/cpuset
matu3ba/experiments_ci_lib
Experiments towards a continous integration library.
matu3ba/havoc
minimal terminal emulator for wayland
matu3ba/json-schema-gen
Generate zig code from arbitrary json which can parse it
matu3ba/Non-Blocking_Linked-List
The implementation of Timothy L. Harris. 2001. A Pragmatic Implementation of Non-blocking Linked-Lists. In Proceedings of the 15th International Conference on Distributed Computing (DISC '01). Springer-Verlag, Berlin, Heidelberg, 300–314.
matu3ba/open62541
Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0
matu3ba/rr
Record and Replay Framework
matu3ba/sandboxamples
Structured collection of sandbox programs including tests (fs, net access, permissions, process groups [if available]) and system setup programs. No VM stuff.
matu3ba/sha1
SHA-1 implementation in C++. Do not use SHA-1 unless you have to! https://en.wikipedia.org/wiki/SHA-1#Birthday-Near-Collision_Attack_%E2%80%93_first_practical_chosen-prefix_attack
matu3ba/someday-dev
A C/C++ package managing extension for Zig Build System. Proof-of-concept stage.
matu3ba/tau
A Micro (1k lines of code) Unit Test Framework for C/C++
matu3ba/test_zigapp
Application for Testing zig packages.
matu3ba/test_ziglib
Library for Testing zig packages.
matu3ba/tiny11builder
Scripts to build a trimmed-down Windows 11 image.
matu3ba/venn.nvim
Draw ASCII diagrams in Neovim
matu3ba/Win11Debloat
A simple, easy to use PowerShell script to remove pre-installed apps from windows, disable telemetry, remove Bing from windows search as well as perform various other changes to declutter and improve your windows experience. This script works for both windows 10 and windows 11.
matu3ba/win32k-mitigation
Test win32k.sys system call filtering (kernel32 + ntdll only), explicit file handle inheritance.
matu3ba/zcrun
linux container runtime built with zig
matu3ba/zig-bootstrap
take off every zig
matu3ba/zig-sdk
An MSBuild SDK for building Zig, C, and C++ projects using the Zig compiler.
matu3ba/zig_unofficial_compiler_rt_docs
Mostly markdown tables of current status.