Stars
- All languages
- ANTLR
- Agda
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Emacs Lisp
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- P4
- Pascal
- Perl
- Python
- Rocq Prover
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Scilab
- Shell
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
Learning operating system development using Linux kernel and Raspberry Pi
Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.liber…
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
UNIX Network Programming, Volume 1, Third Edition Source Code
ABC: System for Sequential Logic Synthesis and Formal Verification
GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB, serial devices. I am actively composing a new book about Dr…
Public Domain C Library of Cryptographic functions. Including: MD5, SHA1, SHA256, SHA512, RC4, AES, AES-CTR, AES-OFB, AES-CBC
QEMU with RISC-V (RV64G, RV32G) Emulation Support
Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.
CEED Library: Code for Efficient Extensible Discretizations
mirror of ngspice repo at git://git.code.sf.net/p/ngspice/ngspice ngspice-ngspice
A python package for reading/writing audio files from numpy array
PCIe (1.0a to 2.0) Virtual Root Complex model, in C, co-simulating with Verilog, SystemVerilog and VHDL, with Endpoint capabilities
Clone of Phil Karn's libfec with capability to build on x86-64