Lists (31)
AI / Machine Learning
12 repositories
algorithms and data structures
12 repositories
Android
1 repository
applications
30 repositories
CAD and geometry
12 repositories
compilers, linkers, assemblers
25 repositories
Computer Graphics
17 repositories
courses
1 repository
cryptography
1 repository
databases
Technology related to databases3 repositories
distributed / crdt
1 repository
editors
1 repository
Electronics
6 repositories
Embedded, MCUs and RTOS
19 repositories
FPGAs and HDLs
34 repositories
HPC
6 repositories
kakoune
1 repository
learning
courses, lists and learning material12 repositories
libraries and frameworks
44 repositories
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Proving8 repositories
music
4 repositories
Operating Systems
kernels, SO and so on19 repositories
programming languages
27 repositories
reverse engineering
3 repositories
security
1 repository
sgx
1 repository
Simulation and Modeling
41 repositories
typesetting
3 repositories
UI
7 repositories
UNIX
linux/BSDs etc2 repositories
unix/linux
3 repositories
Stars
8
stars
written in HTML
Clear filter
Draw perfect pressure-sensitive freehand lines.
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
A simple tool to download video lectures from edx.org (and other openedx sites)
Gazebo database of SDF models. This is a predecessor to https://app.gazebosim.org
Chicago undergraduate mathematics bibliography
Civilizational Bootstraper: landing page and wiki
A keyboard interface to the web, inspired by Kakoune