salkinium's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
rlabbe/Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
dabeaz-course/python-mastery
Advanced Python Mastery (course by @dabeaz)
wcventure/FuzzingPaper
Recent Fuzzing Paper
qjcg/awesome-typst
Awesome Typst Links
refuel-ai/autolabel
Label, clean and enrich text datasets with LLMs.
jackmpcollins/magentic
Seamlessly integrate LLMs as Python functions
Xudong-Huang/may
rust stackful coroutine library
laixintao/flameshow
A terminal Flamegraph viewer.
analogdevicesinc/no-OS
Software drivers in C for systems without an operating system
iDoka/awesome-embedded-software
:stars: List of software (HW interfaces, libs, protocols, etc) specifically suitable for resource-constrained Embedded Systems (low-memory and low-power) like 8-bit, 16-bit and 32-bit microcontrollers.
P403n1x87/austin-tui
The top-like text-based user interface for Austin
lawrie/fpga_pio
An attempt to recreate the RP2040 PIO in an FPGA
saulpw/unzip-http
Extract individual files from .zip files over http without downloading the entire archive.
ned14/pcpp
A C99 preprocessor written in pure Python
RadioOperator/CMSIS-DAP_for_STLINK-V3MINI
High-Speed CMSIS-DAP for STLINK-V3MINI ARM Debugger STM32F723IEK6
rgrr/yapicoprobe
Yet Another Picoprobe
mvnmgrx/kiutils
Simple and SCM-friendly KiCad file parser based on Python dataclasses for KiCad 6.0 and up.
langston-barrett/tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
rust-embedded/svdtools
Python package to handle vendor-supplied, often buggy SVD files.
espressif/freertos-gdb
Python module for operating with freeRTOS kernel objects in GDB
Auterion/embedded-debug-tools
Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards
wapiflapi/gxf
Gdb Extension Framework is a bunch of python code around the gdb api.
dottspina/dtsh
Shell-like interface to devicetrees
MabezDev/embedded-fatfs
dhoove/tixml2svd
This utility creates SVD files from the Texas-Instruments XML device and peripheral descriptor files.
carrotIndustries/svdregview
Point-and click access to MCU peripheral registers
stebrech/accessible-pdf
Repo for 11ty website accessible-pdf.info
orbcode/libtrace
Orbcode support library for ARM Cortex-M trace components
jaseg/cerebrum
RPC framework for interaction with c firmware from python host applications