☆32Oct 13, 2015Updated 10 years ago
Alternatives and similar repositories for ot-demo
Users that are interested in ot-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dive Into HTML5 online book☆16Jul 27, 2011Updated 14 years ago
- Helpers for working with Jade templates in an AMD setting☆24May 5, 2021Updated 5 years ago
- Haskell module for parsing of Go source code, forked from Hackage☆13Aug 8, 2018Updated 7 years ago
- A Cycle driver for Socket.IO clients☆28Oct 23, 2017Updated 8 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 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.
- ☆28May 7, 2022Updated 4 years ago
- Use JavaScript to write Android Apps☆10Aug 20, 2015Updated 10 years ago
- JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v10.0.0’s categories, s…☆29Jun 13, 2026Updated last month
- A Haskell client library for Cayley database graph☆14Jun 24, 2026Updated last month
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A Haskell library to mock the current time. ⏰☆19May 1, 2018Updated 8 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- See the docs and live playground here☆13Dec 10, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The https://ghc.dev Website Generator☆20Jun 22, 2026Updated last month
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 years ago
- Homotopy type theory cheatsheets☆11Apr 15, 2026Updated 3 months ago
- ダミーの PrintService 実装です☆15Nov 2, 2013Updated 12 years ago
- 使用 mobx 开发 react native 的 todo 案例 . 构建大型可扩展可维护项目的最佳实践☆10Mar 16, 2017Updated 9 years ago
- A Random Stoic Quotes generator that consumes JSON API v1 compliant data from Random Stoic Quotes API.☆10Jul 29, 2018Updated 7 years ago
- Haiku-Search is a high-performance fuzzy search library designed for web applications. It is built using Rust and compiled to WebAssembly☆33May 14, 2024Updated 2 years ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 7 months ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 6 months ago
- 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.
- Unofficial bindings for Cycle.js☆13Jun 8, 2016Updated 10 years ago
- Random notes on mathematics (in German)☆13Jul 8, 2026Updated 2 weeks ago
- Music Data Abstraction Language☆12Jun 4, 2018Updated 8 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- ☆10Jun 6, 2026Updated last month
- moved to https://github.com/unhosted/MyFavouriteSandwich.org☆12Sep 19, 2021Updated 4 years ago
- Fingertrees of Bytestrings☆20Dec 3, 2018Updated 7 years ago
- Hermes is a Pub/Sub middleware application.☆58Aug 25, 2011Updated 14 years ago
- Plymouth themes taken from Hackers (1995)☆11Oct 7, 2018Updated 7 years ago
- 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.
- Type safe anonymous remote procedures in Haskell☆15Sep 24, 2013Updated 12 years ago
- A simple Flux implementation with a reactive touch.☆18Sep 4, 2015Updated 10 years ago
- A PCL+Xamarin port of the infamous HtmlAgilityPack☆23Nov 16, 2013Updated 12 years ago
- ☆17Nov 4, 2015Updated 10 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 7 years ago
- Your favorite machine learning papers: installable, deployable and reproducible (as all software should be)☆18Mar 6, 2023Updated 3 years ago
- A real-time text editing library for JavaScript built around libot.☆16Nov 13, 2014Updated 11 years ago