⭐️ A cross-platform CLI All-in-One assistant tool for Claude Code, Codex & Gemini CLI.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

artifact relatated to mmCipher implementations

Lattices in Cryptography (University of Michigan)

Academic Research Skills for Claude Code: research → write → review → revise → finalize

ARIS ⚔️ (Auto-Research-In-Sleep) — Lightweight Markdown-only skills for autonomous ML research: cross-model review loops, idea discovery, and experiment automation. No framework, no lock-in — works…

A massively parallel, high-level programming language

🎃 A fast, out-of-the-box terminal built for AI coding.

A Textual widget for beautiful diffs in the terminal

The Raku Programming Language Collect, Conserve and Remaster Project

Raku package with descriptions and data of different games amenable for Game Theory experiments and studies.

A curated list of resources about post-quantum cryptography.

A lightweight macOS literature manager built in native Swift.

Google's Operations Research tools:

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

Raku package with a parser and interpreters of LaTeX code

Artifacts for ePrint 2025/1002 "Cool + Cruel = Dual, and New Benchmarks for Sparse LWE

Raku package for serializing Raku expressions into LaTeX code.

Training neural networks on Apple Neural Engine via reverse-engineered private APIs

Supplementary code to the manuscript "Cool+Cruel=Dual"

C inference for Qwen3-ASR 0.6b and 1.7b transcriptions models

Raku package for doing LLM Retrieval Augmented Generation (RAG).

🐹 Clean, uninstall, analyze, optimize, and monitor your Mac from the terminal.

Pure C inference for the GTE Small embedding model

Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization

Raku package with different Jupyter notebook converters (to Raku, Markdown, HTML, etc.)

Raku package for random maze making using graphs.

SageMath as a macOS application bundle.

硬核书<<程序原理>>，有难度，有深度，值得拥有！ 使用汇编、C、Java全面系统讲解，理论结合实践，图表并茂。