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
A curated list of data oriented design resources.
Use your tablet as graphic tablet/touch screen on your computer.
A markup-based typesetting system that is powerful and easy to learn.
A curated list of Functional Mock-up Interface (FMI) libraries, tools and resources.
Feed reader (podcast player and also Gemini protocol client) which supports RSS/ATOM/JSON and many web-based feed services.
2-2000x faster ML algos, 50% less memory usage, works on all hardware - new and old.
Data Structures and streaming algorithms for Common Lisp.
COVID-19 integrated surveillance data provided by the Italian Institute of Health and processed via UnrollingAverages.jl to deconvolve the weekly moving averages.
Collective tools for metaprogramming on Julia Expr
Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …
Early-stage b-rep CAD kernel, written in the Rust programming language.
Source for: https://cirosantilli.com and https://ourbigbook.com/cirosantilli Build HTML with https://github.com/ourbigbook/ourbigbook with "npm install && npx ourbigbook ." You can use this issue t…
Graphical small-internet client for windows, linux, MacOS X and BSDs. Supports gemini, http, https, gopher, finger.
TeX code for Computability Theory and Complexity Theory Cheat Sheets
A standard library of components to model the world and beyond
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
Application framework based on OpenGL ES 2.0. Runs on desktop machines, Android phones and the web
Surrogate modeling and optimization for scientific machine learning (SciML)