lean

lean

Pretty, minimal, one-line, fast ZSH prompt

Shell154apache-2.0

4 months ago

minimalpromptzsh

lean.nvim

Neovim support for the Lean theorem prover

Lua278mit

3 days ago

leanlean4leanprover

Lean

Lean

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

C#9219apache-2.0

4 months ago

algorithmalgorithmic-trading-enginec-sharp

lean-package-validator-action

A GitHub Action that validates a project/micro-package for its leanness.

PHP0mit

6 months ago

carbon-footprintgitattributesgithub-action

inspire.js

Lean, hackable, extensible slide deck framework. Previously known as CSSS.

JavaScript1733mit

last month

presentationslidedeckslideshow

fluvio

fluvio

Lean and mean distributed stream processing system written in rust and web assem

Rust2801apache-2.0

4 months ago

cloud-nativedata-flowdata-integration

uBlock

uBlock

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

JavaScript45026gpl-3.0

4 months ago

blockerbrowser-extensionchromium

ratpack

ratpack

Lean & powerful HTTP apps

Java1943other

24 days ago

Rebus

Rebus

:bus: Simple and lean service bus implementation for .NET

C#2273other

5 months ago

c-sharpmessage-busmessage-queue

vim-airline

vim-airline

lean & mean status/tabline for vim that's light as air

Vim Script17793mit

3 days ago

statuslinetablinevim

micropython

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers an

C18862other

4 months ago

embeddedmicrocontrollermicropython

JSON-Patch

JSON-Patch

Lean and mean Javascript implementation of the JSON-Patch standard (RFC 6902). U

JavaScript1827mit

4 months ago

mjson

Lean JSON Library for Java, with a compact, elegant API.

Java84apache-2.0

2 years ago

LeanParameterOptimization

LeanParameterOptimization

Parameter Optimization for Lean Algorithms

C#57apache-2.0

2 years ago

blazorcsharplean

cilantro

cilantro

A lean C++ library for working with point cloud data

C++1016mit

last year

3d3d-visualizationclustering

google4s

A lean, functional library for Google Cloud Services in Scala

Scala11other

6 years ago

google-kmsgoogle-pubsubgoogle-scala

nanika-zsh-theme

nanika-zsh-theme

A ZSH theme, lean with necessary info

Shell1mit

2 years ago

oh-my-zshoh-my-zsh-themezsh-theme

yaxim

yaxim

yaxim - a lean XMPP/Jabber client for Android

Java487gpl-3.0

2 years ago