Explore Projects
Discover 36 open source projects
Showing 21-36 of 36 projects
Starcounter-Jack/JSON-Patch
A lightweight JavaScript implementation of the JSON-Patch standard for updating JSON documents using delta patches.
ratpack/ratpack
Ratpack is a lean and powerful Java-based HTTP app framework for building scalable and high-performance web applications.
crbnos/carbon
An open-source ERP, MES and QMS system for complex manufacturing and job shop environments.
LeaVerou/inspire.js
Lean, hackable, extensible slide deck framework for creating presentations and slideshows.
buserror/simavr
A lean, mean, and hackable AVR simulator for Linux and macOS, focused on embedded development.
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
frainzy1477/luci-app-clash
Luci interface for Clash, an OpenWrt tool for configuring VPN and proxy services.
go-bootstrap/go-bootstrap
A lean and mean Go web project generator for developers looking to bootstrap their Go projects.
teorth/analysis
A Lean companion library for Analysis I, focused on building mathematical proofs and reasoning.
lorabv/awesome-agile
A curated list of resources on Agile Software Development for developers and teams.
lwsjs/local-web-server
A lightweight, modular web server for rapid full-stack development and progressive web app building.
lean-dojo/LeanCopilot
LeanCopilot is a C++ library that uses large language models (LLMs) as copilots for theorem proving in the Lean programming language.
joshuagatcke/HTML-KickStart
Ultra-lean HTML building blocks for rapid website production, focused on developer productivity.
owenversteeg/min
A minimalist CSS framework weighing just 995 bytes, perfect for quick prototyping and building lean web apps.
kzampog/cilantro
A lean C++ library for working with point cloud data, with support for various 3D data processing tasks.
datenwolf/linmath.h
A lean linear math library for graphics programming, supporting vec3, vec4, mat4x4 and quaternions.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.