Pinned Repositories
charcoal
An online dictionary using youdao dict api. Inspired by wudao-dict.
clash-from-the-gates-up
data-types-a-la-carte
A quick tour to *Data types à la carte* for reading group presentation.
DualityRelease
A love story version of classic Breakout game! A web game written in Elm.
flow.er
A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.
lala-lang
[WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.
magic-in-ten-mins-ml
十分钟魔法练习 in OCaml
meme-lang
A joke-based language.
underdose
zydeco
a proof-of-concept programming language based on Call-by-push-value
LighghtEeloo's Repositories
LighghtEeloo/flow.er
A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.
LighghtEeloo/data-types-a-la-carte
A quick tour to *Data types à la carte* for reading group presentation.
LighghtEeloo/charcoal
An online dictionary using youdao dict api. Inspired by wudao-dict.
LighghtEeloo/clash-from-the-gates-up
LighghtEeloo/underdose
LighghtEeloo/eecs470-clash
LighghtEeloo/LighghtEeloo
.
LighghtEeloo/openweather.rs
LighghtEeloo/cowffs
LighghtEeloo/homebrew-charcoal
LighghtEeloo/itp-ard
🚧施工中🚧 用 Arend 写证明的交互式教程
LighghtEeloo/LighghtEeloo.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
LighghtEeloo/mio-ring
LighghtEeloo/nvimdots
A well configured and structured Neovim.
LighghtEeloo/stackedit
In-browser Markdown editor
LighghtEeloo/WebLaTexDemo
Testflight. A complete alternative for Overleaf with VSCode + Web + Git Integration + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.
LighghtEeloo/codespan
Beautiful diagnostic reporting for text-based programming languages.
LighghtEeloo/delta-collections
LighghtEeloo/id-arena
A simple, id-based arena
LighghtEeloo/lalrpop
LR(1) parser generator for Rust
LighghtEeloo/mplse-reading-group.github.io
LighghtEeloo/pac194x
Platform-agnostic Rust driver for the PAC194x 9V, 16-bit power monitor with alerts
LighghtEeloo/parscord-wise
A discord bot for parsing user defined commands (e.g. natural language via LLM support or short jargons) and recording expenses in splitwise.
LighghtEeloo/pid-rs
A PID controller for Rust projects.
LighghtEeloo/RISCV-RV32I-Assembler
A simple, easily extendable, RISCV assembler for the RV32I subset in Python.
LighghtEeloo/rp-pico-blind
LighghtEeloo/sculptor
LighghtEeloo/session-types
LighghtEeloo/tip-server
jsonrpc server for tip(typst-inline-preview).el
LighghtEeloo/vec-map
A simple map based on a vector for small integer keys