Anti (أنتِ) is a cryptic and playful Arabic typeface
☆15Feb 13, 2026Updated 7 months ago
Alternatives and similar repositories for anti
Users that are interested in anti are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated 2 years ago
- Unicode character database decoder for OCaml☆17Updated this week
- Send a mail in OCaml☆17Jun 5, 2020Updated 6 years ago
- ☆14Apr 14, 2025Updated last year
- Cross-platform high-performance vector and matrix math for OpenGL☆18Feb 25, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- API service for handling user-generated contents on static sites☆10Nov 15, 2018Updated 7 years ago
- LibreOffice-LilyPond extension☆14Feb 27, 2026Updated 6 months ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆19Jul 13, 2024Updated 2 years ago
- Parsing library based on Earley Algorithm☆19Aug 16, 2026Updated last month
- Hilite - a simple code to HTML syntax highlighter☆24Apr 9, 2026Updated 5 months ago
- Implementation of maps of integers with Patricia trees☆21Sep 4, 2020Updated 6 years ago
- mailcheck.co site☆16Feb 13, 2026Updated 7 months ago
- ☆24Dec 9, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Parse Dat protocol SLEEP files.☆13Apr 28, 2021Updated 5 years ago
- ☆21Dec 16, 2022Updated 3 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- CSV support for Zed☆25Sep 4, 2025Updated last year
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- ☆12Mar 13, 2024Updated 2 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 6 months ago
- ☆17Apr 6, 2019Updated 7 years ago
- An async JSON-RPC 2.0 crate written in Rust.☆14Oct 26, 2022Updated 3 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.
- Go implementation of the Peer-to-Peer Streaming Peer Protocol (rfc7574)☆11Sep 24, 2017Updated 8 years ago
- Change screen brightness on Linux systems☆12Jul 6, 2015Updated 11 years ago
- A new append-only-log for SSB purposes☆16Mar 15, 2023Updated 3 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆28Jul 26, 2026Updated last month
- Encode and decode data as emojis, in Rust☆15Dec 22, 2020Updated 5 years ago
- Social coding with Git and GitHub.☆18Mar 21, 2015Updated 11 years ago
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- A swift PropertyWrapper providing automatic NSView and UIView invalidation when the properties value changes. (Backwards compatible versi…☆10Oct 3, 2021Updated 4 years ago
- Documentation of the Circles UBI system☆11Jun 25, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36May 11, 2026Updated 4 months ago
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated last month
- Rust implementation of the secret-handshake protocol.☆12Aug 14, 2021Updated 5 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Mar 31, 2026Updated 5 months ago
- Getting the best of two p2p worlds☆10Feb 17, 2022Updated 4 years ago
- TEXT://PROTOCOL CLIENT☆17Jul 9, 2021Updated 5 years ago
- A demo of using automerge to build a chat client.☆16Aug 15, 2022Updated 4 years ago