Anti (أنتِ) is a cryptic and playful Arabic typeface
☆15Feb 13, 2026Updated 5 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
- ☆11Feb 8, 2020Updated 6 years ago
- Unicode character database decoder for OCaml☆17Jan 2, 2026Updated 6 months ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 6 years ago
- Musically plays LLVM code☆14Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Apr 14, 2025Updated last year
- Cross-platform high-performance vector and matrix math for OpenGL☆18Feb 25, 2020Updated 6 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- LibreOffice-LilyPond extension☆14Feb 27, 2026Updated 4 months ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆18Jul 13, 2024Updated 2 years ago
- Packages and classes for the SILE typesetter☆14Nov 12, 2022Updated 3 years ago
- djbsort: fast, data-oblivious sorting algorithm.☆16Jul 13, 2026Updated last week
- ☆19Updated this week
- ☆25Dec 9, 2024Updated 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.
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated 2 years ago
- 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☆21Sep 4, 2025Updated 10 months ago
- DEciding Equivalence Properties in SECurity protocols☆21Mar 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]☆28Mar 2, 2026Updated 4 months ago
- An async JSON-RPC 2.0 crate written in Rust.☆14Oct 26, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 parsing library that compiles grammars to combinators using elimination of left recursion☆28Jul 18, 2026Updated last week
- encode private keys in poetic form☆14Aug 18, 2019Updated 6 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 4 months ago
- 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
- Construire un vélo open source☆23Mar 10, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A swift PropertyWrapper providing automatic NSView and UIView invalidation when the properties value changes. (Backwards compatible versi…☆10Oct 3, 2021Updated 4 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37May 11, 2026Updated 2 months ago
- crypto.graphics☆28Apr 6, 2020Updated 6 years ago
- Rust implementation of the secret-handshake protocol.☆12Aug 14, 2021Updated 4 years ago
- Ever wanted to pipe raw audio samples around in the terminal to impress your friends at a party? Well then, you've come to the right plac…☆13Feb 24, 2023Updated 3 years ago
- ☆21Dec 23, 2018Updated 7 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 3 months ago