Starred repositories
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Common financial risk and performance metrics. Used by zipline and pyfolio.
Official inference framework for 1-bit LLMs
Zigma is an algorithmic trading framework built with the Zig programming language, leveraging an actor-based concurrency model. It aims to provide an efficient, low-latency system for algorithmic t…
Automation of Interactive Brokers TWS. You can download the latest release here: https://github.com/ibcalpha/ibc/releases/latest
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
A text editor in less than 1000 LOC with syntax highlight and search.
A library for calling C functions from Go without Cgo
Library for reducing tail latency in RAM reads
Python sync/async framework for Interactive Brokers API (replaces ib_insync)
Docker image with IB Gateway/TWS and IBC
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
A rate-limiting library for Rust (f.k.a. ratelimit_meter)
A curated list of awesome Nim frameworks, libraries, software and resources.
Macro-oriented asynchronous web-framework written in Nim with ♥
dbc is the command-line tool for installing and managing ADBC drivers
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Free and Open Source Machine Translation API. Self-hosted, offline capable and easy to setup.
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
High-Performance server for NATS.io, the cloud and edge native messaging system.
Apache Pulsar - distributed pub-sub messaging system
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!