Stars
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
A digital logic designer and circuit simulator.
The next generation of OpenLane, rewritten from scratch with a modular architecture
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 275+ supported cars.
HomebrewGPU is a simple ray tracing GPU on FPGA which implements basic ray-primitive intersection, BVH traversal, shadowing, reflection and refraction. This is a project I used to learn programming…
A indexer of users and relays of nostr protocol for general use
A curated list of awesome embedded programming.
a truly censorship-resistant alternative to Twitter that has a chance of working
You like pytorch? You like micrograd? You love tinygrad! ❤️
🌐 The Internet OS! Free, Open-Source, and Self-Hostable.
A simple and easy-to-use library to enjoy videogames programming
A minimal GPU design in Verilog to learn how GPUs work from the ground up
This repository is a collection of examples that demonstrate kernel panic, OOPs, BUG usages, and conditional compiling process in Linux kernel modules. Each subdirectory holds a different example, …
Constraint-based geometry sketcher for blender
The Python Coding Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in Python.
samsoniuk / riscado-v
Forked from zxmarcos/riscado-vRISCV implementation in Verilog (RV32I spec)
samsoniuk / riscuinho
Forked from RISCuinho/core**RISC**uinho - A scratch in the possibilities in the universe of microcontrollers
Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX
Python module for creating GDSII stream files, usually CAD layouts.
Gdstk (GDSII Tool Kit) is a C++/Python library for creation and manipulation of GDSII and OASIS files.
😎 curated list of open source photonics projects
Uma game engine desenvolvida ao longo de uma série de vídeos do canal https://www.youtube.com/gamedevlog