lean

lean

Pretty, minimal, one-line, fast ZSH prompt

Shell154apache-2.0

7 months ago

minimalpromptzsh

lean.nvim

neovim support for the Lean theorem prover

Lua187mit

3 months ago

leanlean4leanprover

Lean

Lean

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

C#8266apache-2.0

4 months ago

algorithmalgorithmic-trading-enginec-sharp

linmath.h

a lean linear math library, aimed at graphics programming. Supports vec3, vec4,

C874wtfpl

11 months ago

cilantro

cilantro

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

C++981mit

8 months ago

3d3d-visualizationclustering

inspire.js

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

JavaScript1720mit

2 months ago

presentationslidedeckslideshow

fluvio

fluvio

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

Rust2501apache-2.0

2 months ago

cloud-nativedata-flowdata-integration

uBlock

uBlock

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

JavaScript42316gpl-3.0

2 months ago

blockerbrowser-extensionchromium

ratpack

ratpack

Lean & powerful HTTP apps

Java1936other

last month

Rebus

Rebus

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

C#2202other

3 months ago

c-sharpmessage-busmessage-queue

vim-airline

vim-airline

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

Vim Script17594mit

2 months ago

statuslinetablinevim

outline-client

outline-client

Outline clients, developed by Jigsaw. The Outline clients use the popular Shadow

TypeScript8041apache-2.0

2 months ago

androidchromeoscordova

micropython

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers an

C17707other

4 months ago

embeddedmicrocontrollermicropython

JSON-Patch

JSON-Patch

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

JavaScript1741mit

2 months ago

mjson

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

Java81apache-2.0

2 years ago

LeanParameterOptimization

LeanParameterOptimization

Parameter Optimization for Lean Algorithms

C#58apache-2.0

last year

blazorcsharplean

loaf

loaf

Manages and displays breadcrumb trails in Rails app - lean & mean.

Ruby405mit

2 years ago

breadcrumb-trailbreadcrumbsrails

google4s

A lean, functional library for Google Cloud Services in Scala

Scala11other

5 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

Java484gpl-3.0

last year