Lists (31)
Sort Name ascending (A-Z)
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
- All languages
- ANTLR
- ASL
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Elixir
- Emacs Lisp
- Forth
- GDScript
- Gnuplot
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KakouneScript
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- Modelica
- Nim
- Oberon
- Odin
- PHP
- Polar
- PostScript
- Python
- QML
- Racket
- ReScript
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Slash
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
Open-source keyboard firmware for Atmel AVR and Arm USB families
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
Learning operating system development using Linux kernel and Raspberry Pi
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Public repository of the QuickJS Javascript Engine.
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…
An open source cross-platform USB stack for embedded system
A little fail-safe filesystem designed for microcontrollers
Antialiased 2D vector drawing library on top of OpenGL for UI and visualizations.
open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software
nanomsg-next-generation -- light-weight brokerless messaging
Build android apps without any java, entirely in C and Make
INAV: Navigation-enabled flight control software
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
In-application debugger for ARM Cortex and RISC-V processors.
UNIX-like reverse engineering framework and command-line toolset.
Tiny, fast, non-dependent and fully loaded printf implementation for embedded systems. Extensive test suite passing.