A contact solver for physics-based simulations involving 👚 shells, 🪵 solids and 🪢 rods.

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

This repo is the new home of Proof General

Code for WF-IoT paper 'TinyML Benchmark: Executing Fully Connected Neural Networks on Commodity Microcontrollers'

The application to show preview about my pets and choose who are the favorites

Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

Mathematical Components compliant Analysis Library

iOS and macOS Decompiler

A comprehensive collection of cybersecurity information sources, news providers, and security resources.

A project to map out the relations between different equational theories of Magmas.

A library for creating native cross-platform GUI apps

Source code for the Mathematics in Lean tutorial.

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Minimal implementation of scalable rectified flow transformers, based on SD3's approach

Providing a great interface to the iOS kernel, hardware, threads and processes in a great research environment. (WIP)

blueprint for prime number theorem and more

Research project of Ciallo for SIGGRAPH publication

Imitation learning algorithms with Co-training for Mobile ALOHA: ACT, Diffusion Policy, VINN

Heap Layers: An Extensible Memory Allocation Infrastructure

Prototype next steps for FormulatePro

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

MongoDB-based Task Queue in C++

A class-leading water system implemented in Unity

Memory Management ToolKit

Compare man pages between macOS Big Sur and macOS Monterey

Config files for booting Mac OS 7-9, OS X and macOS on UTM emulator

Unicode-based scientific plotting for working in the terminal