Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes
☆81Nov 14, 2016Updated 9 years ago
Alternatives and similar repositories for eskendereyya
Users that are interested in eskendereyya are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scrum, but with GitHub Issues (experimental)☆16Feb 17, 2015Updated 11 years ago
- Package limitgroup provides a sync.WaitGroup equivalent with a configurable upper bound.☆32Jun 12, 2015Updated 10 years ago
- Colour Me Cards are your classic holiday cards, with a modern twist.☆15Dec 24, 2018Updated 7 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 8 years ago
- Make a release of a cargo project☆13Jul 17, 2020Updated 5 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 toy game engine written in C for prototyping and goofing around.☆13Jun 14, 2023Updated 2 years ago
- Checking for leaked passwords through haveibeenpwned v2 API using the hash-range checker☆12Feb 7, 2024Updated 2 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 6 months ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- Dark themes for various StackExchange sites☆13Oct 9, 2018Updated 7 years ago
- Spacemacs contribution layer for Crystal☆12Oct 11, 2016Updated 9 years ago
- Make an plain html page containing a directory listing☆32Mar 27, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A step-by-step MicroKanren evaluator☆29Nov 22, 2016Updated 9 years ago
- LearningSpaces Landingpage☆10Nov 8, 2017Updated 8 years ago
- TypeScript compiler with React JSX-style syntax (TSX)☆24Aug 9, 2017Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- A Web Framework for LFE☆17Apr 24, 2016Updated 10 years ago
- A simplistic FORTH bootstrapped from x86 assembly language☆15Feb 28, 2017Updated 9 years ago
- Multiplayer bear game with Phoenix Live View☆18Dec 3, 2022Updated 3 years ago
- my own language written by me☆21Nov 9, 2015Updated 10 years ago
- Launch and receive LTI requests☆15Apr 12, 2023Updated 3 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.
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Elixir library to help selecting the right elements in your tests.☆13Jun 27, 2024Updated last year
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- A simple microservice designed in Go using Echo Microframework for sending emails and/or calendar invitations to users.☆13Aug 11, 2022Updated 3 years ago
- ~2x Faster JSON encoding for Rails☆23Jun 27, 2017Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Mtac in Agda☆29May 4, 2021Updated 5 years ago
- A 3D model (in Blender format) of the official logo for the Rust programming language☆10Feb 25, 2018Updated 8 years ago
- 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.
- Home of cloud-local-storage CLI, Node SDK and web app☆29Aug 10, 2023Updated 2 years ago
- Kubernetes operator for managing CoreOS node upgrades☆11Jun 19, 2017Updated 8 years ago
- An open standard to build applications that respect data ownership.☆10Sep 17, 2021Updated 4 years ago
- A Rack middleware for profiling requests using ruby-prof☆44Jul 19, 2016Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- multiple bundles with budo☆19Mar 10, 2019Updated 7 years ago
- RsHtml Template☆41Mar 29, 2026Updated last month