Affine MultiParty Session Type for Rust
☆26Feb 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for hibana
Users that are interested in hibana are comparing it to the libraries listed below
Sorting:
- Keyboard‑driven terminal app to view and manage users and groups. Browse accounts, see memberships, search, and make common changes: rena…☆24Nov 11, 2025Updated 3 months ago
- AIV - AI Valve: Pipes for AI☆19Jun 4, 2025Updated 9 months ago
- A CLI to instantly turn tabular data and audio files into interactive, self-contained HTML scatter plots.☆31Dec 5, 2025Updated 3 months ago
- A very simple example of implementing a structured P2P network (DHT) in Erlang.☆32Apr 21, 2009Updated 16 years ago
- ☆15Oct 17, 2024Updated last year
- Overlay Weaver: An Overlay Construction Toolkit☆29Oct 12, 2018Updated 7 years ago
- An explicit closure with absolute seperation of the captured data from the function.☆37Jul 29, 2025Updated 7 months ago
- 日本語の読みから Emoji に変換するための SKK 辞書 😂☆30Jul 1, 2023Updated 2 years ago
- CSV format converter for importing to Zaim.☆10Updated this week
- Fix missing Linux firmware kernel modules!☆17Jan 1, 2024Updated 2 years ago
- ☆11Apr 5, 2025Updated 11 months ago
- This comprehensive learning resource provides two complete tutorials for mastering Model Context Protocol (MCP) development with Rust. Fr…☆18Dec 1, 2025Updated 3 months ago
- Green SqlAlchemy extensions for pulsar☆11Nov 24, 2017Updated 8 years ago
- RedwoodSDK website☆18Updated this week
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- A lightweight Rust TLS terminating, load balancing reverse proxy.☆13Feb 16, 2025Updated last year
- Factorio overhaul which expands the factory onto the moon☆12Jul 8, 2025Updated 8 months ago
- 「「バルス！！！」」☆39Oct 6, 2014Updated 11 years ago
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- This repository contains the source code for TCBee, a TCP flow analysis tool recording packet headers and kernel metrics at up to 1.4 Mpp…☆13Feb 10, 2026Updated 3 weeks ago
- Performant physics-focussed quantum circuit library built in Rust☆16Sep 4, 2025Updated 6 months ago
- ☆11Feb 11, 2015Updated 11 years ago
- Abstraction Layer of ChromiumOS development☆51Jan 6, 2026Updated 2 months ago
- A beautiful terminal UI for exploring and managing your Homebrew packages with ease.☆128Nov 12, 2025Updated 3 months ago
- 🦀 Nicer Rust diagnostics for Neovim☆127Dec 4, 2025Updated 3 months ago
- Package rfc4193 implements Unique Local IPv6 Unicast Address prefix generation, as described in RFC 4193. MIT Licensed.☆12May 12, 2020Updated 5 years ago
- unix command cam: view images inside terminal☆20Dec 20, 2014Updated 11 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Sep 2, 2018Updated 7 years ago
- Fast and lightweight noise algorithms.☆12Jan 2, 2026Updated 2 months ago
- Eliminating the need for hand-crafted assembly in high-performance interpreters☆14Mar 22, 2021Updated 4 years ago
- This repo contains the source code for https://pest.rs☆13Updated this week
- WWW offline explorer☆15Jun 12, 2012Updated 13 years ago
- Work in progress rust bindings to ggml☆12May 1, 2023Updated 2 years ago
- code-first PCB design. Write circuits as text, get autorouted boards, Gerber exports, and DRC validation.☆26Updated this week
- Rust mock type implementing io::Read & io::Write☆14Mar 5, 2019Updated 7 years ago
- ISUCON用代わりにsshしていろいろやってくれるツール☆11Nov 25, 2023Updated 2 years ago
- Teeny tiny router for node and the browser☆16May 28, 2015Updated 10 years ago
- Ecto extensions to support auditing data changes in your Schema.☆10Dec 4, 2017Updated 8 years ago