PostgreSQL driver and toolkit for Go

Time-sensitive affine types for predictable hardware generation

Bluespec Compiler (BSC)

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

SystemVerilog to Verilog conversion

Haskell library for hardware description

卒論

The legacy OCamlbuild build manager

❄️ Visual editor for open FPGA boards

An alternative BEAM implementation, designed for WebAssembly

magma circuits

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

📚 Freely available programming books

Dafny is a verification-aware programming language

K Framework Tools 7.0

Comprehensive Python Cheatsheet

Apple Music...ish

A C++-based, cross platform ray tracing library

DEPRECATED — Head to the raytracing.github.io repo for the new home

stb single-file public domain libraries for C/C++

[WIP] Yet another Erlang implementation in Rust

Creative cellular automata browser game

Reparent a running program to a new terminal

The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

The OpenPiton Platform

Online problem-driven learning system

A small, light weight, RISC CPU soft core