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
Python programs, usually short, of considerable difficulty, to perfect particular skills.
A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸
2-2000x faster ML algos, 50% less memory usage, works on all hardware - new and old.
Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …
18.335 - Introduction to Numerical Methods course
Lecture slides, Jupyter notebooks, and other material from the LSSTC Data Science Fellowship Program
FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
Bluetooth PHY based on one-bit input and output
Include Jupyter notebook cells in TeX documents
All Digital Radio Platform written in nmigen targeting FPGAs (for now)
Simulation and visualization of articulated rigid body systems in Julia
[Italian] Material for a theoretical practical machine learning crash course with TensorFlow 2.0
Course material for "Introduction to Probabilistic Programming for Scientific Discovery"
From-scratch implementation of a fully-connected neural network (Multi Layer Perceptron) in Julia.