5eqn

Gnathostomula Paradoxa

Dreamland

Pinned Repositories

elaboration-scala
Elaboration Zoo partially implemented in Scala3.
Language:Scala50
map-sci-fi
A science fiction based on DT and FP.
Language:TeX40
nothura.nvim
Link to page of PDF in Markdown, with Neovim and Zathura.
Language:Shell7 1 90
osa-fp-talk
FP Talk 相关资料
Language:Typst30
poly-gpa
Polybar plugin that displays your rank.
Language:Python30
proof-cat
A drag-and-drop proof assistant inspired by Scratch.
Language:TypeScript60
silent-lang
[WIP] A modest (888 lines) FP language that compiles to LLVM-IR.
Language:Scala9 2 01
bpm-server
BPM analysis server with Librosa and FastAPI.
Language:Python10
chart-server
Chart server for rhythm game "blnary" written in Golang.
Language:Go10
charter
Chart maker for rhythm game "blnary" written with Flutter.
Language:Dart10

5eqn's Repositories

5eqn/silent-lang
[WIP] A modest (888 lines) FP language that compiles to LLVM-IR.
Language:Scala9 2 01
5eqn/nothura.nvim
Link to page of PDF in Markdown, with Neovim and Zathura.
Language:Shell7 1 90
5eqn/proof-cat
A drag-and-drop proof assistant inspired by Scratch.
Language:TypeScript60
5eqn/elaboration-scala
Elaboration Zoo partially implemented in Scala3.
Language:Scala50
5eqn/map-sci-fi
A science fiction based on DT and FP.
Language:TeX40
5eqn/osa-fp-talk
FP Talk 相关资料
Language:Typst30
5eqn/poly-gpa
Polybar plugin that displays your rank.
Language:Python30
5eqn/defect-lang
A minimal interpreted FP language (143 lines) for teaching purposes.
Language:Scala2
5eqn/my-blog
Language:Dart2
5eqn/nvim-config
My Neovim config.
Language:Lua21
5eqn/5eqn
1
5eqn/action-test
Test repo for Github Action
Language:Dockerfile1
5eqn/aevum-lang
Worked-in-progress programming language, real "aevum" now!
Language:Idris1 1 0
5eqn/create-iced-app
Initialize ready-to-develop environment instantly.
Language:Shell1
5eqn/docker-compose-remote-action
Action for running docker-compose in remote server via SSH.
Language:Shell1 0 02
5eqn/idris2-lsp
Language Server for Idris2
Language:Idris1
5eqn/md-server
Blog server that CRUDs JSON representing markdown file.
Language:Go1 1 0
5eqn/md-upload
Upload markdown as json to your remote server.
Language:Go1
5eqn/nginx-ip
Limit request rate based on IP.
Language:Dockerfile1 1 0
5eqn/poly-battery
Complex battery charge level watcher with libnotify usage.
Language:Go1
5eqn/qutebrowser-config
My config for qutebrowser.
1
5eqn/spam-test
Test your rate-limit policy.
Language:Python1
5eqn/workman
Work hours manager written in C++. (helped by Copilot Chat)
Language:C++1
5eqn/my-cn-blog
Language:Makefile
5eqn/my-cn-blog-deployed
Language:HTML
5eqn/QtScrcpy
Android real-time display control software