Lists (1)
Starred repositories
21
stars
written in C
Clear filter
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
A simple and easy-to-use library to enjoy videogames programming
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Flipper Zero firmware source code
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
A simple Minecraft clone written in C using modern OpenGL (shaders).
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness
Io programming language. Inspired by Self, Smalltalk and LISP.
The papers and books I've read or am about to read.
µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.
µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
The Gecko SDK (GSDK) combines our Series 0 and Series 1 IoT product software development kits (SDKs) based on Gecko Platform into a single, integrated SDK.
Code samples for the Understanding Windows x64 Assembly tutorial.
SimpleScalar version 3.0 (official repository)
Front-end for Spin to generate swarm verification scripts
tools for reading CINE files from Vision Research's "Phantom" high-speed video cameras