This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Programs from the book Lisp in Small Pieces, updated to work on modern schemes

A modernized and annotated code companion to Paul Graham's "On Lisp".

Doug Hoyte's "Production" version of macros from Let Over Lambda, ready for ASDF and Quicklisp.

Documented version of a simple type-theoretic language: Mini-TT

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

Chez Scheme

The math library of Lean 4

NVIDIA PhysX SDK

High performance voxel engine

Continuing development of eMule

赫蹏（hètí）是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来，可以为网站的读者带来更好的文章阅读体验。

Source files for SiFive's Freedom platforms (port to Zeowaa board with Cyclone 4 chip: see intel-zeowaa branch)

Wishbone Avalon Bridge

Bus bridges and other odds and ends

32-bit Superscalar RISC-V CPU

A FPGA friendly 32 bit RISC-V CPU implementation

This project provides an official implementation of our recent work on real-time multi-object tracking in videos. The previous works conduct object detection and tracking with two separate models s…

Digital logic design tool and simulator

An open source cross-platform programming language focused on efficiency.

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

traffic_signs_kendzi3d plugin

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

📥 past projects

Tools to collect and test spice models

A Wargame based on the Matasano Crypto Challenges

Real-time object detection on Android using the YOLO network with TensorFlow

Android SDK for Dialogflow

chaos preprocessor library. this is what boost preprocessor derived from.