LighghtEeloo

LighghtEeloo

Geek Repo

Company:Arbitrary Node

Location:Ann Arbor

Github PK Tool:Github PK Tool

LighghtEeloo's repositories

flow.er

A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.

Language:RustLicense:MITStargazers:52Issues:2Issues:2

data-types-a-la-carte

A quick tour to *Data types à la carte* for reading group presentation.

Language:HaskellLicense:Apache-2.0Stargazers:16Issues:2Issues:0

charcoal

An online dictionary using youdao dict api. Inspired by wudao-dict.

Language:RustLicense:MITStargazers:10Issues:2Issues:4
Language:HaskellStargazers:4Issues:0Issues:0
Language:RustStargazers:3Issues:2Issues:0
Language:ShellStargazers:2Issues:0Issues:0
Language:SCSSLicense:MITStargazers:2Issues:2Issues:0
Language:RustLicense:MITStargazers:2Issues:2Issues:0
Language:RustStargazers:1Issues:2Issues:0
Language:TypeScriptStargazers:1Issues:2Issues:0

itp-ard

🚧施工中🚧 用 Arend 写证明的交互式教程

LighghtEeloo.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:1Issues:1Issues:0
Language:RustStargazers:1Issues:1Issues:0

nvimdots

A well configured and structured Neovim.

Language:LuaLicense:MITStargazers:1Issues:1Issues:0

stackedit

In-browser Markdown editor

Language:JavaScriptLicense:Apache-2.0Stargazers:1Issues:1Issues:0

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.

Language:TeXLicense:MITStargazers:1Issues:1Issues:0

codespan

Beautiful diagnostic reporting for text-based programming languages.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

id-arena

A simple, id-based arena

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lalrpop

LR(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

pac194x

Platform-agnostic Rust driver for the PAC194x 9V, 16-bit power monitor with alerts

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pid-rs

A PID controller for Rust projects.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

RISCV-RV32I-Assembler

A simple, easily extendable, RISCV assembler for the RV32I subset in Python.

Language:PythonStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

tip-server

jsonrpc server for tip(typst-inline-preview).el

Language:RustStargazers:0Issues:0Issues:0

vec-map

A simple map based on a vector for small integer keys

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0