notch1p

Caffeine-driven copy/paste-ing master

Shenzhen

Pinned Repositories

core
MoonBit's Core library
Language:MoonBit694 17 28292
moon
The build system and package manager for MoonBit
Language:Rust232 9 14722
cl-welearn
(cons we (cons love (cons english nil)
Language:Common Lisp2 1 00
my-latex-template
A fork of CMT mainly for notetaking
Language:TeX1 1 00
nextjs-notion-starter-kit
Deploy your own Notion-powered website in minutes with Next.js and Vercel.
Language:TypeScript0 0 00
os2024
spaghetti code at its finest.
Language:OCaml00
typing-game
Language:TypeScript1 1 00
welearn-oneclick
WE LOVE ENGLISH (Archived. See https://github.com/notch1p/cl-welearn
Language:Python10

notch1p's Repositories

notch1p/cl-welearn
(cons we (cons love (cons english nil)
Language:Common Lisp2 1 00
notch1p/typing-game
Language:TypeScript1 1 00
notch1p/welearn-oneclick
WE LOVE ENGLISH (Archived. See https://github.com/notch1p/cl-welearn
Language:Python10
notch1p/codeSpeedUp
码上速成，一款基于 Vue3+Python FastAPI 的编写代码的打字游戏。
Language:Vue0 0 00
notch1p/core
MoonBit's Core library
Language:Shell00
notch1p/nextjs-notion-starter-kit
Deploy your own Notion-powered website in minutes with Next.js and Vercel.
Language:TypeScript0 0 00
notch1p/os2024
spaghetti code at its finest.
Language:OCaml00
notch1p/Paopao
Language:Java0 1 04
notch1p/claripy
An abstraction layer for constraint solvers.
Language:SMT
notch1p/dexador
A fast HTTP client for Common Lisp
Language:Common Lisp
notch1p/DS-2023-final
Language:C1 0
notch1p/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
notch1p/ide-examples
Language:JavaScript0 0
notch1p/lean-misc
learn4
Language:Lean
notch1p/macos-auto-clicker
A simple auto clicker for macOS Big Sur, Monterey, Ventura and Sonoma.
Language:Swift0 0
notch1p/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML0 0
notch1p/moon
The build system and package manager for MoonBit
Language:Rust0 0
notch1p/MoonBit-Code-JAM-2024
Language:JavaScript
notch1p/moonbit-docs
The docs of MoonBit programming language
Language:TypeScript
notch1p/moonbit-markdown
markdown linter for MoonBit
Language:JavaScript0 0
notch1p/notch1p.github.io
Language:HTML1 0
notch1p/probability-theory
SCNU School of Software《概率论与数理统计》学习笔记
Language:TeX
notch1p/Sunshine
Self-hosted game stream host for Moonlight.
Language:C++0 0
notch1p/swift-macos-learning
Swift Programming for macOS
Language:Swift0 0
notch1p/TempleRun_ljx
unity3D game
Language:C#
notch1p/tiger
Language:Standard ML
notch1p/tldr.inbrowser.app
📝 tldr InBrowser.App is a offline-capable PWA for tldr-pages. Fully runs in your browser. Zero API latency.
Language:Vue0 0
notch1p/vscode-common-lisp
This VS code extension supports language features for Common Lisp.
Language:TypeScript0 0
notch1p/wasm4-examples
notch1p/x
experimental packages for moonbitlang/core