Highlights
- Pro
Stars
Gogh is a collection of color schemes for various terminal emulators, including Gnome Terminal, Pantheon Terminal, Tilix, and XFCE4 Terminal also compatible with iTerm on macOS.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A garden of small programming language implementations 🪴
symbolic execution plugin for binary ninja
Scalable High-performance Algorithms and Data-structures
generating hardware accelerators for pangenomic graph queries
A container for grocy - the ERP application for your kitchen https://grocy.info
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
Allo: A Programming Model for Composable Accelerator Design
Lock-free data structures for multicore OCaml
an educational compiler intermediate representation
Hardcaml is an OCaml library for designing hardware.
verified compiler for lisp like language w/ let-bound values (wip)
A formal semantics of the RISC-V ISA in Haskell
A formally verified implementation of undo checkpointing.
Development area for another repo: Learn_Bluespec_and_RISCV_Design
Run compilers interactively from your web browser and interact with the assembly
An experiment in hardware accelerated DSLs and parallel algorithms for signal processing applications.
LAR-19642-1: Visual Studio Code Extension for PVS