Tools for working with Teak, a functional data language.
Teak is a Kotlin-inspired scripting language that runs on Node.js
CLI for uploading Artillery load test reports to a Grove instance
code teak
An async task queue
To install dependencies:
No description provided.
To install dependencies:
To install dependencies:
Encode Bitcoin wallets, DHT hashes and other data in a human-friendly format
Ｄｏｗｎｌｏａｄ ｅｂｏｏｋ ｐｄｆ ｍｏｂｉ ｅｐｕｂ Lin Pardey Talesin's Tales is available now
Elm for ratatui — you bring the loop
Liquid steaking protocol for the cosmos
Session types for asynchronous communication between multiple parties.
Session types for multi-party asynchronous communication.
Choreographic programming for Rumpsteak - effect-based distributed protocols
Session types for asynchronous communication between multiple parties (Aura flavored).
Procedural macros for Rumpsteak session types (Aura flavored).
Lean verification bridge for Rumpsteak session types
Session types for asynchronous communication between multiple parties.
Session type theory algorithms - projection, merge, subtyping
Core session types for Rumpsteak - matching Lean definitions
Liquid staking protocol for the cosmos
A collection of utilities used by multiple projects at Teak
Migrate large tables without downtime by copying to a temporary table in chunks. The old table is not dropped. Instead, it is moved to timestamp_table_name for verification.
Fastlane plugins for the Teak SDK
Encrypts attributes on models using a key encryption key and envelopes.
Logging for Teak backend services.
Generate Twitter Snowflake style ids.
No description provided.
No description provided.