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
How to improve NGINX performance, security, and other important things.
A fast and lightweight native programming language
This is a project, where I give you a way to use SOLIDWORKS on Linux!
A curated list of awesome resources for HDL design and verification
whjvenyl / fasd
Forked from clvv/fasdCommand-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.
A set of ansible scripts, to set up fully functional, self-hosted mailserver
p7m è uno script per la gestione dei file con firma digitale nel formato CADES
Tools to get control of and better configure your Askey FastGATE
build a ZIG_LIBC environment for Zig, targeting OpenBSD