5eqn Goto Github PK

5eqn

action-test

Test repo for Github Action

aevum-lang

Worked-in-progress programming language, real "aevum" now!

continue

⏩ Open-source VS Code and JetBrains extensions that enable you to easily create your own modular AI software development system

create-iced-app

Initialize ready-to-develop environment instantly.

defect-lang

A minimal interpreted FP language (143 lines) for teaching purposes.

dify

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting you quickly go from prototype to production.

docker-compose-remote-action

Action for running docker-compose in remote server via SSH.

dusk-phantom

A Programmable VST3 Plugin written in Rust.

elaboration-scala

Elaboration Zoo partially implemented in Scala3.

gpt-pilot

The first real AI developer

gpt-pilot-article-platform

Article platform made with GPT Pilot + deepseek-chat.

idris2-lsp

Language Server for Idris2

map-sci-fi

A science fiction based on DT and FP.

md-server

Blog server that CRUDs JSON representing markdown file.

md-upload

Upload markdown as json to your remote server.

metagpt-game-2048

Game of 2048 made with MetaGPT + deepseek-chat.

my-blog

my-cn-blog

my-cn-blog-deployed

my-nih-plug-template

My cookiecutter template for NIH-plug

nginx-ip

Limit request rate based on IP.

nih-plug

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

nothura.nvim

Link to page of PDF in Markdown, with Neovim and Zathura.

nvim-config

My Neovim config.

osa-fp-talk

FP Talk 相关资料

poly-battery

Complex battery charge level watcher with libnotify usage.

poly-gpa

Polybar plugin that displays your rank.

proof-cat

A drag-and-drop proof assistant inspired by Scratch.

qtscrcpy

Android real-time display control software