quentin-bettoum

quentin-bettoum's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k438

• emilk/egui

  egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

  Language:Rust23.1k1.6k

• zakirullin/cognitive-load

  🧠 Cognitive Load is what matters

  6.1k131

• snabbdom/snabbdom

  A virtual DOM library with focus on simplicity, modularity, powerful features and performance.

  Language:TypeScript12k1.1k

• woylie/flop

  Filtering, ordering and pagination for Ecto

  Language:Elixir69936

• woylie/flop_phoenix

  Components for pagination, sortable tables and filter forms using Phoenix, Ecto and Flop

  Language:Elixir41543

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust37.2k3.7k

• sedyh/awesome-ebitengine

  A curated list of awesome Ebitengine frameworks, libraries and software

  70932

• hajimehoshi/ebiten

  Ebitengine - A dead simple 2D game engine for Go

  Language:Go11.3k673

• lowlighter/mizu

  🌊 Lightweight, intuitive, and customizable JS library that makes building powerful web apps a breeze!

  Language:TypeScript2123

• docker-mailserver/docker-mailserver

  Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

  Language:Shell15k1.8k

• urfave/cli

  A simple, fast, and fun package for building command line apps in Go

  Language:Go22.5k1.7k

• xataio/pgroll

  PostgreSQL zero-downtime migrations made easy

  Language:Go4.4k73

• direnv/direnv

  unclutter your .profile

  Language:Go12.8k648

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell24.1k1k

• pgxman/pgxman

  Developer-friendly package manager and registry for PostgreSQL extensions

  Language:Go1782

• supabase-community/postgres_lsp

  A Language Server for Postgres

  Language:Rust3.4k63

• nocodb/nocodb

  🔥 🔥 🔥 Open Source Airtable Alternative

  Language:TypeScript50.5k3.5k

• sqlpage/SQLPage

  Fast SQL-only data application builder. Automatically build a UI on top of SQL queries.

  Language:Rust1.7k102

• mkaski/pg_render

  Render HTML in SQL. PostgreSQL extension.

  Language:PLpgSQL484

• Olshansk/postgres_for_everything

  How to reduce complexity and move faster? Just Postgres for everything.

  1.5k49

• biblys/biblys

  Le logiciel libre pour créer des boutiques de livres en ligne

  Language:PHP141

• php/php-src

  The PHP Interpreter

  Language:C38.5k7.8k

• membraneframework/membrane_core

  The core of Membrane Framework, multimedia processing framework written in Elixir

  Language:Elixir1.3k39

• membraneframework/boombox

  Boombox is a simple streaming tool built on top of Membrane

  Language:Elixir1394

• composer/composer

  Dependency Manager for PHP

  Language:PHP28.7k4.6k

• tmux/tmux

  tmux source code

  Language:C35.9k2.1k

• rapid7/metasploit-framework

  Metasploit Framework

  Language:Ruby34.5k14.1k

• jj-vcs/jj

  A Git-compatible VCS that is both simple and powerful

  Language:Rust10.1k351

• piroor/treestyletab

  Tree Style Tab, Show tabs like a tree.

  Language:JavaScript3.5k281