小颚虫's repositories

silent-lang

[WIP] A modest (888 lines) FP language that compiles to LLVM-IR.

Language:ScalaStargazers:10Issues:2Issues:0

proof-cat

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

elaboration-scala

Elaboration Zoo partially implemented in Scala3.

Language:ScalaLicense:MITStargazers:5Issues:1Issues:0

nvim-config

My Neovim config.

Language:LuaStargazers:3Issues:1Issues:0

osa-fp-talk

FP Talk 相关资料

Language:TypstStargazers:3Issues:1Issues:0

defect-lang

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

Language:ScalaLicense:MITStargazers:2Issues:1Issues:0

dusk-phantom

A Programmable VST3 Plugin written in Rust.

Language:RustStargazers:2Issues:0Issues:0
Language:DartStargazers:2Issues:0Issues:0
License:MITStargazers:1Issues:0Issues:0

action-test

Test repo for Github Action

Language:DockerfileStargazers:1Issues:0Issues:0

aevum-lang

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

Language:IdrisStargazers:1Issues:1Issues:0

continue

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

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

create-iced-app

Initialize ready-to-develop environment instantly.

Language:ShellLicense:MITStargazers:1Issues:1Issues:0

idris2-lsp

Language Server for Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

md-server

Blog server that CRUDs JSON representing markdown file.

Language:GoLicense:MITStargazers:1Issues:1Issues:0

md-upload

Upload markdown as json to your remote server.

Language:GoLicense:MITStargazers:1Issues:1Issues:0

nginx-ip

Limit request rate based on IP.

Language:DockerfileLicense:MITStargazers:1Issues:1Issues:0

poly-battery

Complex battery charge level watcher with libnotify usage.

Language:GoStargazers:1Issues:0Issues:2

workman

Work hours manager written in C++. (helped by Copilot Chat)

Language:C++Stargazers:1Issues:1Issues:0

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.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gpt-pilot

The first real AI developer

License:MITStargazers:0Issues:0Issues:0

gpt-pilot-article-platform

Article platform made with GPT Pilot + deepseek-chat.

Language:JavaScriptStargazers:0Issues:0Issues:0

metagpt-game-2048

Game of 2048 made with MetaGPT + deepseek-chat.

Language:PythonStargazers:0Issues:0Issues:0
Language:MakefileStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

my-nih-plug-template

My cookiecutter template for NIH-plug

Language:RustLicense:ISCStargazers:0Issues:0Issues:0

nih-plug

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

Language:RustLicense:ISCStargazers:0Issues:0Issues:0

QtScrcpy

Android real-time display control software

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

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.29% of bugs in the SWE-bench evaluation set and takes just 1.5 minutes to run.

License:MITStargazers:0Issues:0Issues:0

vizia

A declarative GUI library written in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0