Vybe Guide
Sign Up

Explore Projects

Discover 36 open source projects

Active filters (1):
Search: leanร—
Clear all

Showing 1-20 of 36 projects

netdata/netdata

Real-time infrastructure monitoring with AI-powered insights and zero configuration.

78.0K
Active
C
MCP Servers
Monitoring
#real-time#ai-powered#zero-config

gorhill/uBlock

uBlock Origin - A fast and efficient blocker for Chromium and Firefox.

61.9K
Active
JavaScript
LLM Frameworks
Browser Extensions
Next.js
#uBlock-Origin#browser-extension#blocker

apachecn/ailearning

AI learning repository with tutorials and implementations for machine learning, deep learning, and data analysis

42.1K
Archived
Python
ML Ops
Python
#machine-learning#deep-learning#data-analysis

Textualize/textual

Build terminal and web apps with Python

34.6K
Active
Python
Terminal UIs
Python
#terminal-ui#python-framework#async

coolsnowwolf/lede

LEDE source for firmware customization

31.3K
Active
C
Firmware & Drivers
#lede#openwrt#firmware

micropython/micropython

MicroPython for microcontrollers and embedded systems

21.5K
Active
C
Arduino & Embedded
CLI Tools
#micropython#embedded#microcontroller

vim-airline/vim-airline

A lightweight and efficient Vim plugin that provides a clean and customizable status/tabline.

17.9K
Stable
Vim Script
IDE Extensions
Vim
#statusline#tabline#vim

QuantConnect/Lean

Lean Algorithmic Trading Engine by QuantConnect, a C# and Python library for developing and backtesting trading strategies.

17.6K
Active
C#
API Frameworks
C#
#algorithmic-trading#finance#forex

easychen/lean-side-bussiness

A guide for programmers on how to elegantly build a side business.

11.7K
Archived
SaaS Boilerplates
#side-business#entrepreneurship#programming-career

GitoxideLabs/gitoxide

A fast and safe Rust implementation of the Git version control system for developers.

11.0K
Active
Rust
CLI Tools
#git#version-control#cli

Leantime/leantime

Leantime is a project management system built with ADHD, Autism, and dyslexia in mind, focused on goals and agile practices.

9.4K
Active
PHP
Collaboration & Real-time
Scheduling & Calendars
PHP
#project-management#agile#scrum

linuxkit/linuxkit

A toolkit for building secure, portable and lean operating systems for containers

8.6K
Active
Go
Containerization
Infrastructure as Code
Go
#containers#devops#linux

uBlock-LLC/uBlock

uBlock is a fast, lightweight, and lean ad blocker for Chrome, Firefox, and Safari browsers.

8.3K
Archived
JavaScript
Extension
Frontend Frameworks
Chrome
#adblock#blocker#extension

leanprover/lean4

Lean 4 is a programming language and theorem prover for building verified software.

7.5K
Active
Lean
API Frameworks
#lean#theorem-prover#programming-language

facebookresearch/lingua

A lean and efficient codebase for researching large language models (LLMs).

4.8K
Experimental
Python
LLM Frameworks
Python
#llm#language-models#research

haiibo/OpenWrt

An OpenWrt firmware build optimized for various ARM and x86 devices, including popular SBCs like Raspberry Pi and Rockchip.

3.1K
Archived
Shell
Linux Distros
Raspberry Pi
#openwrt#arm#x86

leanprover-community/mathlib4

Lean 4 math library for Lean 4

3.0K
Active
Lean
Lean Prover Community
#mathlib4#lean4#mathematics

TranscryptOrg/Transcrypt

A Python to JavaScript compiler that enables lean and fast web development with a focus on AI tools.

2.9K
Experimental
Python
Full-Stack Frameworks
API Frameworks
React
#compiler#transpiler#python

leanprover/lean3

Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.

2.2K
Archived
C++
CLI Tools
API Frameworks
#theorem-proving#type-theory#verification

rafi/vim-config

Lean, carefully-crafted Neovim configuration for developers who prefer a minimalist, customizable editor

2.0K
Stable
Lua
IDE Extensions
Frontend Frameworks
Neovim
#neovim#vim#dotfiles
2

Stay in the loop

Get weekly updates on trending AI coding tools and projects.