Lists (32)
Sort Name ascending (A-Z)
apple-ios-macos-swift
arm64
compilers-programming-languages
concurrency
data-structures-algorithms
debugging
desktop-gui
dev-productivity-tools
dotnet
file-formats-and-protocols
formal-methods
functional-programming
graphics-game-dev
gui
hardware
haskell
latex
ml-ai
mobile-cross-platform
network-distributed-databases
nix
ocaml
os-embedded-firmware
performance
practices
riscv
rust
syssec-crypto-reversing
tui
utils
web-dev
zig
Stars
- All languages
- ASL
- Ada
- Agda
- Assembly
- BQN
- Bikeshed
- BitBake
- Bluespec
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- F*
- Flix
- Gleam
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Mojo
- Nim
- Nix
- OCaml
- Objective-C++
- Odin
- Open Policy Agent
- PHP
- PLpgSQL
- PostScript
- Prolog
- Python
- Racket
- Reason
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SMT
- Sage
- Sail
- Scala
- Shell
- SmPL
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- WebAssembly
- XQuery
- Zig
- eC
- reStructuredText
A very very very very very very very long interrupt
A fully featured audio DSP firmware for the Raspberry Pi Pico (RP2040) and Pico 2 (RP2350). Official Discord: https://discord.gg/RCyqxAQ5xS
This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.
Example scripts and helpers for instrumentling common logic analyzers with sigrok-cli and Saleae
Examples of SCPI and Test Equipment Instrumentation
NOTE: I did not create the website: libgpiod[dot] com which redirects here. It's likely a phishing attempt! | This is a mirror of the original repository over at kernel.org. This github page is for…
VSS Hardware Hacking Wiki and Blog Entries
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Create real electronics with Typescript and React
EFI boot entry management as an KDE Configuration Module
Turn any executables to a single binary ELF application
A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣
A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
Provides the mt25ql512abb driver, part of the STM32Cube BSP Component for all STM32xx series.
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
Automatic Exploit Generation with LLMs
A type-safe, component-based language for building reactive WASM web apps.
FUSE filesystem over Google Drive