Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes
☆82Nov 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
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 10 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- A toy game engine written in C for prototyping and goofing around.☆13Jun 14, 2023Updated 3 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 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.
- Make a release of a cargo project☆13Jul 17, 2020Updated 6 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 9 years ago
- write Haskell code, call it from C code☆12Jul 31, 2018Updated 8 years ago
- mirror of http://cgit.freedesktop.org/wayland/libinput/☆10Nov 13, 2018Updated 7 years ago
- A modular and lightweight implementation of the bundle protocol.☆11Aug 7, 2019Updated 7 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Checking for leaked passwords through haveibeenpwned v2 API using the hash-range checker☆12Feb 7, 2024Updated 2 years ago
- Find numbers and strings that should be extracted as a declaration statement☆14May 22, 2015Updated 11 years ago
- ☆25Mar 3, 2018Updated 8 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.
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- Semantic version parsing and comparison for ruby☆14Jun 25, 2017Updated 9 years ago
- The Hamlet template language reduces HTML syntax to its essential parts.☆11Jun 15, 2012Updated 14 years ago
- jsdiff☆12Dec 14, 2011Updated 14 years ago
- The *proper* way to load ruby files.☆10Jul 17, 2009Updated 17 years ago
- An mdoc(7) generator for RDoc☆17Oct 31, 2014Updated 12 years ago
- A Wiegand implimentation for proximity devices with keypads for the Arduino IDE☆12Jun 5, 2009Updated 17 years ago
- Lifeguarding Game☆89Aug 2, 2018Updated 8 years ago
- Spacemacs contribution layer for Crystal☆12Oct 11, 2016Updated 10 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.
- HTTP controlled ESP8266 lock accessory plugin for Homebridge☆11Jul 18, 2017Updated 9 years ago
- ☆11Oct 25, 2024Updated 2 years ago
- Auto-generates a native Ruby wrapper stub for a given Go package.☆35Nov 9, 2016Updated 9 years ago
- A forge for lunar instruments☆11Dec 20, 2024Updated last year
- Backup/restore data from/to any remoteStorage account☆12Oct 6, 2026Updated 3 weeks ago
- New home for English gem code☆14Nov 9, 2008Updated 17 years ago
- A Ruby library for Typed variables☆14Nov 20, 2013Updated 12 years ago
- Hunting for daily rarities -- boozicorns, really -- from the Pennsylvania Liquor Control Board's databases.☆11Feb 18, 2017Updated 9 years ago
- Kill time. Make history.☆63Aug 26, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated last year
- small but useful annotation library for Ruby☆12Oct 15, 2010Updated 16 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 7 years ago
- Describe crystal-lang JSON serializable types with JSON Schema☆16Oct 7, 2026Updated 3 weeks ago
- Add support for RFC 2324 to any HTTP server☆14Oct 29, 2014Updated 12 years ago
- McBean converts HTML into Markdown or Textile (and vice-versa).☆14Sep 30, 2010Updated 16 years ago
- Safari extension to inject arbitrary JS into web pages☆13Jan 24, 2018Updated 8 years ago