Pinned Repositories
acl2dash
ACL2 docset for Dash
blockprotocol
The open block protocol Þ
blog
Dash-User-Contributions
Dash repo of user contributed docsets
galagosearch
Galago search engines book version. Cloned from https://code.google.com/archive/p/galagosearch/ .
langchain
⚡ Building applications with LLMs through composability ⚡
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
servo
The Servo Browser Engine
snippets
一些零碎
marsmxm's Repositories
marsmxm/galagosearch
Galago search engines book version. Cloned from https://code.google.com/archive/p/galagosearch/ .
marsmxm/snippets
一些零碎
marsmxm/acl2dash
ACL2 docset for Dash
marsmxm/blockprotocol
The open block protocol Þ
marsmxm/blog
marsmxm/Dash-User-Contributions
Dash repo of user contributed docsets
marsmxm/dracula
marsmxm/Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
marsmxm/langchain
⚡ Building applications with LLMs through composability ⚡
marsmxm/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
marsmxm/servo
The Servo Browser Engine
marsmxm/intellij-racket-lang
marsmxm/lightsabers
They contain so few lines of code, yet so few people get them right.
marsmxm/linnstrument-firmware
The firmware of LinnStrument, an Open Revolutionary Expressive Musical Performance Controller
marsmxm/marsmxm.github.io
marsmxm/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
marsmxm/Meadowlark
A (currently incomplete) open-source Digital Audio Workstation
marsmxm/mojo
The Mojo Programming Language
marsmxm/notebook
Jupyter Interactive Notebook
marsmxm/public-student-support-code
Public helper code for p423/p523 students
marsmxm/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
marsmxm/qaul.net
Internet Independent Wireless Mesh Communication App
marsmxm/tailwind-blog
marsmxm/yscheme
a compiler from a subset of Scheme into X64