Neovim support for the Lean theorem prover

Lua278mit

3 days ago

leanlean4leanprover

Pretty, minimal, one-line, fast ZSH prompt

Shell154apache-2.0

4 months ago

minimalpromptzsh

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

PHP0mit

6 months ago

carbon-footprintgitattributesgithub-action

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

Java84apache-2.0

2 years ago

Parameter Optimization for Lean Algorithms

C#57apache-2.0

2 years ago

blazorcsharplean

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

C++1016mit

last year

3d3d-visualizationclustering

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

JavaScript1733mit

last month

presentationslidedeckslideshow

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

Rust2801apache-2.0

4 months ago

cloud-nativedata-flowdata-integration

A lean, functional library for Google Cloud Services in Scala

Scala11other

6 years ago

google-kmsgoogle-pubsubgoogle-scala

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

JavaScript45026gpl-3.0

4 months ago

blockerbrowser-extensionchromium

A ZSH theme, lean with necessary info

Shell1mit

2 years ago

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

Lean & powerful HTTP apps

Java1943other

25 days ago

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

C#2273other

5 months ago

c-sharpmessage-busmessage-queue

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

Vim Script17793mit

3 days ago

statuslinetablinevim

MicroPython - a lean and efficient Python implementation for microcontrollers an

C18862other

4 months ago

embeddedmicrocontrollermicropython

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

JavaScript1827mit

4 months ago

yaxim - a lean XMPP/Jabber client for Android

Java487gpl-3.0

2 years ago

Neovim support for the Lean theorem prover

Lua278mit

3 days ago

leanlean4leanprover

Pretty, minimal, one-line, fast ZSH prompt

Shell154apache-2.0

4 months ago

minimalpromptzsh

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

C#9219apache-2.0

4 months ago

algorithmalgorithmic-trading-enginec-sharp

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

PHP0mit

6 months ago

carbon-footprintgitattributesgithub-action

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

Java84apache-2.0

2 years ago

Parameter Optimization for Lean Algorithms

C#57apache-2.0

2 years ago

blazorcsharplean

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

C++1016mit

last year

3d3d-visualizationclustering

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

JavaScript1733mit

last month

presentationslidedeckslideshow

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

Rust2801apache-2.0

4 months ago

cloud-nativedata-flowdata-integration

A lean, functional library for Google Cloud Services in Scala

Scala11other

6 years ago

google-kmsgoogle-pubsubgoogle-scala

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

JavaScript45026gpl-3.0

4 months ago

blockerbrowser-extensionchromium

A ZSH theme, lean with necessary info

Shell1mit

2 years ago

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

Lean & powerful HTTP apps

Java1943other

25 days ago

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

C#2273other

5 months ago

c-sharpmessage-busmessage-queue

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

Vim Script17793mit

3 days ago

statuslinetablinevim

MicroPython - a lean and efficient Python implementation for microcontrollers an

C18862other

4 months ago

embeddedmicrocontrollermicropython

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

JavaScript1827mit

4 months ago

yaxim - a lean XMPP/Jabber client for Android

Java487gpl-3.0

2 years ago