Pinned Repositories
elaboration-scala
Elaboration Zoo partially implemented in Scala3.
map-sci-fi
A science fiction based on DT and FP.
nothura.nvim
Link to page of PDF in Markdown, with Neovim and Zathura.
nvim-config
My Neovim config.
osa-fp-talk
FP Talk 相关资料
poly-gpa
Polybar plugin that displays your rank.
proof-cat
A drag-and-drop proof assistant inspired by Scratch.
silent-lang
[WIP] A modest (888 lines) FP language that compiles to LLVM-IR.
charter
Chart maker for rhythm game "blnary" written with Flutter.
info-gap-server
Remove information gap with AI assistant.
5eqn's Repositories
5eqn/silent-lang
[WIP] A modest (888 lines) FP language that compiles to LLVM-IR.
5eqn/nothura.nvim
Link to page of PDF in Markdown, with Neovim and Zathura.
5eqn/proof-cat
A drag-and-drop proof assistant inspired by Scratch.
5eqn/elaboration-scala
Elaboration Zoo partially implemented in Scala3.
5eqn/map-sci-fi
A science fiction based on DT and FP.
5eqn/nvim-config
My Neovim config.
5eqn/osa-fp-talk
FP Talk 相关资料
5eqn/poly-gpa
Polybar plugin that displays your rank.
5eqn/continue
⏩ Open-source VS Code and JetBrains extensions that enable you to easily create your own modular AI software development system
5eqn/defect-lang
A minimal interpreted FP language (143 lines) for teaching purposes.
5eqn/my-blog
5eqn/peft
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
5eqn/action-test
Test repo for Github Action
5eqn/aevum-lang
Worked-in-progress programming language, real "aevum" now!
5eqn/create-iced-app
Initialize ready-to-develop environment instantly.
5eqn/docker-compose-remote-action
Action for running docker-compose in remote server via SSH.
5eqn/idris2-lsp
Language Server for Idris2
5eqn/md-server
Blog server that CRUDs JSON representing markdown file.
5eqn/md-upload
Upload markdown as json to your remote server.
5eqn/my-cn-blog
5eqn/my-cn-blog-deployed
5eqn/my-nih-plug-template
My cookiecutter template for NIH-plug
5eqn/nginx-ip
Limit request rate based on IP.
5eqn/nih-plug
Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself
5eqn/poly-battery
Complex battery charge level watcher with libnotify usage.
5eqn/qutebrowser-config
My config for qutebrowser.
5eqn/spam-test
Test your rate-limit policy.
5eqn/vizia
A declarative GUI library written in Rust
5eqn/workman
Work hours manager written in C++. (helped by Copilot Chat)
5eqn/Emu3
Next-Token Prediction is All You Need