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:
- A credential-helper framework and agent for Bazel and similar tools implementing the credential-helper spec.☆30Jan 8, 2026Updated 3 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Mar 6, 2026Updated last month
- Fugue list CRDT implementations and benchmarks☆39Nov 17, 2023Updated 2 years ago
- A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.☆22Jan 2, 2026Updated 3 months ago
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Bazel build rules for Zig☆61Apr 8, 2026Updated last week
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆171May 27, 2025Updated 10 months ago
- Macros for auto-upgradable Bazel build dependencies to use with --experimental_resolved_file_instead_of_workspace☆16Feb 24, 2023Updated 3 years ago
- FUSE filesystem to mount git repos.☆18May 2, 2023Updated 2 years ago
- ☆29Jan 10, 2025Updated last year
- A Bazel language server prototype☆10Feb 10, 2022Updated 4 years ago
- Find-and-replace patterns for the Go language.☆10Sep 24, 2022Updated 3 years ago
- Rich text CRDT that implements Peritext and Fugue☆306Dec 30, 2024Updated last year
- 💬 a CLI for learning to distribute CLIs in rust☆31Jan 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Mar 2, 2022Updated 4 years ago
- A notebook interface that makes working with AI agents easier.☆15Jul 12, 2025Updated 9 months ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- A buck2 launcher☆33Sep 10, 2024Updated last year
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Local first application platform built using CRDTs☆23Mar 9, 2023Updated 3 years ago
- Bazel rules for building Erlang applications and libraries☆36Mar 16, 2026Updated last month
- Example of how to use bazel aspects.☆45May 18, 2024Updated last year
- This is a demo project to compare two web scrapping frameworks, Playwright and Selenium and using the new Pipelining tool Dagster☆15Sep 9, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An experimental next gen version of bbqueue☆23Jan 4, 2026Updated 3 months ago
- Bazel rules for YAML templating tool https://carvel.dev/ytt/☆11Jan 10, 2024Updated 2 years ago
- 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
- Contracts and Circuits for 055 Artifacts☆10Aug 12, 2022Updated 3 years ago
- Eg-walker paper, experiments and data.☆55Nov 30, 2024Updated last year
- An XDR (External Data Representation) to Go compiler☆17Jul 2, 2024Updated last year
- Starlark grammar for tree-sitter☆23May 26, 2025Updated 10 months ago
- System Audit Architecture with High Event Coverage and Synchronous Log Availability☆19Nov 27, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ECC based blind signatures in Rust☆14Jun 20, 2018Updated 7 years ago
- ☆19Sep 10, 2025Updated 7 months ago
- a python code runner for Quartz static site generator☆11Aug 15, 2025Updated 8 months ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Updated this week
- MTProto [de]serialization for Rust☆12May 20, 2019Updated 6 years ago
- Bazel BSP Server☆12Apr 5, 2024Updated 2 years ago
- ☆10Jan 25, 2022Updated 4 years ago