offsetcyan

offsetcyan's Stars

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript84238

• fabiocaccamo/python-benedict

  :blue_book: dict subclass with keylist/keypath support, built-in I/O operations (base64, csv, html, ini, json, pickle, plist, query-string, toml, xls, xml, yaml), s3 support and many utilities.

  Language:Python1.5k48

• sybrenjansen/mpire

  A Python package for easy multiprocessing, but faster than multiprocessing

  Language:Python2k37

• paradedb/paradedb

  Postgres for Search and Analytics

  Language:Rust6.3k191

• jjh42/mock

  Mocking library for Elixir language

  Language:Elixir65881

• nix-community/srvos

  NixOS profiles for servers [maintainer=@numtide]

  Language:Nix59535

• YaLTeR/niri

  A scrollable-tiling Wayland compositor.

  Language:Rust4.4k132

• apognu/tuigreet

  Graphical console greeter for greetd

  Language:Rust1k45

• false-schemers/skint

  Cheap and fast R7RS Scheme interpreter

  Language:C693

• vzhd1701/gridplayer

  Play videos side-by-side

  Language:Python1.4k108

• sqlpage/SQLPage

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

  Language:Rust1.7k102

• dashbitco/broadway

  Concurrent and multi-stage data ingestion and data processing with Elixir

  Language:Elixir2.5k161

• riverwm/river

  [mirror] A dynamic tiling Wayland compositor

  Language:Zig3.4k153

• electronicarts/CnC_Remastered_Collection

  Language:C++18.4k4.7k

• fastapi/typer

  Typer, build great CLIs. Easy to code. Based on Python type hints.

  Language:Python16.1k682

• horst3180/arc-theme

  A flat theme with transparent elements

  Language:CSS8.3k606

• pkgcore/snakeoil

  a python library that implements optimized versions of common functionality

  Language:Python4716

• lunarmodules/Penlight

  A set of pure Lua libraries focusing on input data handling (such as reading configuration files), functional programming (such as map, reduce, placeholder expressions,etc), and OS path management. Much of the functionality is inspired by the Python standard libraries.

  Language:Lua2k243

• hifi/heisenbridge

  a bouncer-style Matrix IRC bridge

  Language:Python24936

• krille-chan/fluffychat

  The cutest instant messenger in the [matrix]

  Language:Dart1.3k240

• dashbitco/broadway_dashboard

  Keep track of your Broadway pipelines from Phoenix LiveDashboard

  Language:Elixir22817

• google/mesop

  Rapidly build AI apps in Python

  Language:Python5.7k286

• WhatsApp/waraft

  An Erlang implementation of RAFT from WhatsApp

  Language:Erlang56235

• h3rald/min

  A small but practical concatenative programming language and shell

  Language:Nim31724

• devonestes/fast-elixir

  :dash: Writing Fast Elixir :heart_eyes: -- Collect Common Elixir idioms.

  Language:Elixir1.3k42

• rrrene/credo

  A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

  Language:Elixir5k420

• WhatsApp/erlang-language-platform

  Erlang Language Platform. LSP server and CLI.

  Language:Rust26521

• atomvm/AtomVM

  Tiny Erlang VM

  Language:C1.5k106

• andir/npins

  Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.

  Language:Rust23618

• rixx/git-backdate

  Backdate a commit or range of commit to a date or range of dates.

  Language:Python31312