Lists (31)
AI / Machine Learning
algorithms and data structures
Android
applications
CAD and geometry
compilers, linkers, assemblers
Computer Graphics
courses
cryptography
databases
Technology related to databasesdistributed / crdt
editors
Electronics
Embedded, MCUs and RTOS
FPGAs and HDLs
HPC
kakoune
learning
courses, lists and learning materiallibraries and frameworks
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Provingmusic
Operating Systems
kernels, SO and so onprogramming languages
reverse engineering
security
sgx
Simulation and Modeling
typesetting
UI
UNIX
linux/BSDs etcunix/linux
Stars
PCIe Endpoint on Xilinx 7-Series FPGAs with the PCIE_2_1 hard block and GTP transceivers
Exocompilation for productive programming of hardware accelerators
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
General-purpose editor/IDE with high expansibility in Common Lisp
Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.
Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and…
Simulation for spacecraft attitude control system analysis and design
RBDyn provides a set of classes and functions to model the dynamics of rigid body systems.
Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundamentals of a co-operative multitasking OS and the Arm Cortex-M0+.
A curated list of data oriented design resources.
A high-performance IPC solution that is suitable for production environments based on shared memory IPC.
Learning Linux inter-process communication (IPC)
🐎 Benchmarks for Inter-Process-Communication Techniques
Basic linear algebra subroutines for embedded optimization
Processor-FPGA transfer rate measurements in Zynq-7000
Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.
Use your tablet as graphic tablet/touch screen on your computer.
High-performance interior-point-method QP and QCQP solvers
Touying is a powerful package for creating presentation slides in Typst.
A markup-based typesetting system that is powerful and easy to learn.
Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR