Lists (7)
Starred repositories
An open-source cross-platform alternative to AirDrop
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Lean 4 programming language and theorem prover
A simple mod that allows you to search for items and shulkers inside containers.
TailPress is a minimal boilerplate theme for WordPress using Tailwind CSS.
Ghidra is a software reverse engineering (SRE) framework
Declarative routing for React
The beautiful docs framework with Next.js.
Next Generation Server Toolkit. Create web servers with everything you need and deploy them wherever you prefer.
Apple Silicon devices emulated on QEMU, currently only iPhone 11.
Rust bindings for writing safe and fast native Node.js modules.
In-depth tutorials on LLMs, RAGs and real-world AI agent applications.
这是一个简单的技术科普教程项目，主要聚焦于解释一些有趣的，前沿的技术概念和原理。每篇文章都力求在 5 分钟内阅读完成。
A simple script to convert all records from an Apple Health 'export.xml' file into a csv
@codemirror code editor component for @vuejs
"Superposition" between sync and async
Graph / node editor in the browser using VueJS
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and cycles the easiest way on the planet.