The Github version of Ordinal Markup
☆30Mar 14, 2024Updated 2 years ago
Alternatives and similar repositories for Ordinal-Markup
Users that are interested in Ordinal-Markup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14May 1, 2026Updated 2 months ago
- Generate gRPC Web server and client for Rust.☆18May 25, 2022Updated 4 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- Do not leave messy problems! Sort them into your own categories!☆12Feb 24, 2021Updated 5 years ago
- ☆23Dec 15, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LALRPOP Vim plugin with minimal syntax-highlighting functionality☆16Dec 11, 2022Updated 3 years ago
- ☆23Apr 1, 2021Updated 5 years ago
- Language Support for EraBasic☆13Oct 12, 2022Updated 3 years ago
- ボイチェビキャラといちゃいちゃするゲーム☆10Jun 11, 2022Updated 4 years ago
- 스벨트 튜토리얼 한국어 번역 사이트☆18Aug 30, 2024Updated last year
- Simple tweet button for Google Chrome☆21Oct 7, 2021Updated 4 years ago
- ☆23Jan 8, 2017Updated 9 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- UCPC 2020 솔루션 테마☆44Feb 10, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆26Oct 30, 2025Updated 8 months ago
- BMX2WAV is Convert BMS File to WAV file or ogg file.☆42Dec 28, 2023Updated 2 years ago
- Appuploader-iOS APP on the shelves Quickly create an iOS certificate upload IPA to the App Store☆46Jul 19, 2019Updated 7 years ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 11 months ago
- Simply installer☆29Mar 21, 2025Updated last year
- ☆46Aug 15, 2018Updated 7 years ago
- Lua bindings for Deno.☆14Jun 12, 2022Updated 4 years ago
- ☆12Mar 20, 2025Updated last year
- 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.
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Add Git related mappings on file:// scheme of fern.vim☆12Sep 24, 2020Updated 5 years ago
- micromark extension to support MDX or MDX JS expressions☆13Mar 24, 2025Updated last year
- Property-based testing for Haskell, built on Hypothesis.☆17Jul 8, 2026Updated 2 weeks ago
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- ☆13Jan 7, 2023Updated 3 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated 2 years ago
- 🎨 Logo images of denops.vim☆15Aug 18, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Jul 1, 2020Updated 6 years ago
- A simple command-line tool for running down PRs on DefinitelyTyped☆14May 29, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- 😎 Better Naver blog browsing☆10Jan 8, 2026Updated 6 months ago
- Session types framework with support of protocol pipelining.☆16Updated this week
- Source code accompanying "Latent Effects for Reusable Language Components"☆15Aug 24, 2021Updated 4 years ago
- Enchant Apache Traffic Server with mruby power.☆10Dec 29, 2016Updated 9 years ago