Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- AGS Script
- AMPL
- ANTLR
- Ada
- Assembly
- Awk
- Bikeshed
- BitBake
- Bluespec
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- Forth
- Fortran
- Futhark
- GAMS
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Logos
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Meson
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Perl
- PostScript
- Prolog
- Python
- QML
- QMake
- R
- Racket
- Reason
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Sass
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- XSLT
- Yacc
- Zig
A Python-based HDL and framework for silicon-based witchcraft
A Python library and CLI tool for decrypting encrypted SPICE model files, enabling engineers to use lawfully obtained models in any simulator.
Spectral simulation of analog photography processes
Nix packaging of RosettaLinux, patched to work out-of-the-box. Reproducible. Version 15.4 beta 4.
OtterCast is an open-source audio streaming device running Linux. Based on a Sochip S3 SoC, featuring a Webinterface, shairport-sync, snapcast, Spotify Connect and pulseaudio sink/source.
NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
A cross-platform `addr2line` clone written in Rust, using `gimli`
PE file viewer/editor for Windows, Linux and MacOS.
ELF file viewer/editor for Windows, Linux and MacOS.
DWARF Explorer - a GUI utility for navigating the DWARF debug information
reading the undocumented mems accelerometer + gyroscope on apple silicon macbooks via iokit hid
High-performance TRAMP backend using JSON-RPC instead of shell parsing
Open-source CUDA compiler targeting multiple GPU architectures. Compiles .cu to AMD and Tenstorrent GPU's
A Rust compiler backend targeting CIL(.NET IR) and C.
AIB Generator: Analog hardware compiler for AIB PHY
Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb
A security-focused library OS supporting kernel- and user-mode execution
A super super fast waveform visualizer for very very big traces
Research tools developed for Intel Wi-Fi chips
Artifact for paper SecIC3: Customizing IC3 for Hardware Security Verification in DATE 2026
Rust bindings for libfunnel: Easy app-to-app frame sharing using PipeWire
A multithreaded discrete event simulation library in C, using POSIX pthreads for parallelized replications and stackful asymmetric coroutines for concurrent simulated processes inside each thread
ElemRV - End-to-end Open-Source RISC-V Microcontroller