- All languages
- Agda
- Awk
- BitBake
- C
- C#
- C++
- CSS
- Clojure
- Cuda
- Elixir
- Elm
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- LabVIEW
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Meson
- Nix
- PHP
- Python
- R
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- Yacc
- hoon
Starred repositories
A design system for building faithful recreations of old UIs
A Python-embedded modeling language for convex optimization problems.
Open source Altium Database Library with over 200,000 high quality components and full 3d models.
Lightweight, general, scalable C++ library for finite element methods
Hubble - Network, Service & Security Observability for Kubernetes using eBPF
The Python toolkit for computing with string diagrams.
Arbitrary Speculative Code Execution with Return Instructions
Optical Route Planning Library, Based on a Gaussian Noise Model
Near- and far-field Mie scattering by a multilayered sphere
An i2c master controller implemented in Verilog
💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
An MLIR-based toolchain for AMD AI Engine-enabled devices.
Self-Driving Database Management System from Carnegie Mellon University
Basic Building Blocks (BBB) for OPAE-managed Intel FPGAs
Evaluate the RBAC permissions of Kubernetes identities through policies written in Rego
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Accelerated Sparse Linear Algebra with Postgres and SuiteSparse
The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.
Digitally synthesizable architecture for SerDes using Skywater Open PDK 130 nm technology.
Effective June 1, 2021: Phabricator is no longer actively maintained.
Verilog/SystemVerilog Syntax and Omni-completion

