Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
☆21Jul 28, 2023Updated 2 years ago
Alternatives and similar repositories for bromberg_sl2
Users that are interested in bromberg_sl2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Mar 6, 2026Updated 2 months ago
- Fugue list CRDT implementations and benchmarks☆40Nov 17, 2023Updated 2 years ago
- Execute command in local client from remote host☆24Jun 21, 2025Updated 10 months ago
- A Bazel Language Support Package for OCaml☆36Mar 28, 2025Updated last year
- A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.☆22Jan 2, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bazel build rules for Zig☆61Apr 29, 2026Updated last week
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆172May 27, 2025Updated 11 months ago
- Language-, transport- and serialization-agnostic RPC framework with remote closure support that allows exposing and calling functions on …☆43Apr 17, 2025Updated last year
- MLX Implementation of Recursive Reasoning with Tiny Networks☆78Oct 11, 2025Updated 6 months ago
- Bazel BUILD files generator for Kotlin/Java projects.☆14Nov 24, 2020Updated 5 years ago
- FUSE filesystem to mount git repos.☆17May 2, 2023Updated 3 years ago
- buck2 oci rules☆11Apr 8, 2026Updated 3 weeks ago
- A Bazel language server prototype☆10Feb 10, 2022Updated 4 years ago
- ☆21Mar 27, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 💬 a CLI for learning to distribute CLIs in rust☆31Jan 14, 2025Updated last year
- ☆11Mar 2, 2022Updated 4 years ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- A buck2 launcher☆33Sep 10, 2024Updated last year
- A lightweight JSON response writer for Go. Simple, fully tested, expressive and uses only the standard library.☆13Apr 2, 2018Updated 8 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Example of how to use bazel aspects.☆45May 18, 2024Updated last year
- GitLab Webhooks -> honeycomb.io buildevents <3☆10Jan 13, 2025Updated last year
- Bazel rules for YAML templating tool https://carvel.dev/ytt/☆11Jan 10, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bazel rules to create portable Linux applications by bundling a binary target and all its runfiles into a self-contained AppImage binary.☆35Updated this week
- ☆10Apr 12, 2024Updated 2 years ago
- My resume: written in Markdown☆17Aug 18, 2025Updated 8 months ago
- An XDR (External Data Representation) to Go compiler☆17Jul 2, 2024Updated last year
- Starlark grammar for tree-sitter☆24May 26, 2025Updated 11 months ago
- System Audit Architecture with High Event Coverage and Synchronous Log Availability☆19Nov 27, 2024Updated last year
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- Hermetic C/C++ toolchains for Bazel☆12May 12, 2025Updated 11 months ago
- Erlang NIF wrapper of sqlite3☆11Apr 17, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします 。☆16Apr 14, 2026Updated 3 weeks ago
- Bazel BSP Server☆12Apr 5, 2024Updated 2 years ago
- ☆10Jan 25, 2022Updated 4 years ago
- ☆15Apr 14, 2026Updated 3 weeks ago
- Kernel Information Disclosure☆35Jan 13, 2026Updated 3 months ago
- Transform GraphQL schemas with simple mapping functions☆14Sep 20, 2022Updated 3 years ago
- LCOV tracefile parser/merger/filter in pure Rust.☆17Apr 30, 2026Updated last week