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
Ethernet MAC IP Core for 100G/50G/40G/25G/10Gbps
Definitions from the Virtual I/O Device (VIRTIO) specification.
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…
Connectal is a framework for software-driven hardware development.
Blazingly fast, modern C++ API using coroutines for efficient RTL verification and co-simulation via the VPI interface
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization
An interactive visualization of neural networks
A high-throughput, parameterized, parallel crc hardware implementation.
Chisel: A Modern Hardware Design Language
21 Lessons, Get Started Building with Generative AI
Artifact for paper "PIM is All You Need: A CXL-Enabled GPU-Free System for LLM Inference", ASPLOS 2025
Lightweight, general, scalable C++ library for finite element methods
CEED Library: Code for Efficient Extensible Discretizations
BaseJump STL: A Standard Template Library for SystemVerilog
Production-grade Rust-native trading engine with deterministic event-driven architecture