Opa port of the TodoMVC app
☆24Mar 11, 2012Updated 14 years ago
Alternatives and similar repositories for OpaDo
Users that are interested in OpaDo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- simple, free, reliable way to share your pixels☆13Nov 15, 2012Updated 13 years ago
- A simple scalable, real-time web chat application in Opa☆14Dec 12, 2012Updated 13 years ago
- An online html5 mahjong game, build with opa.☆17Aug 14, 2012Updated 14 years ago
- A Tetris Game in OPA☆14Nov 22, 2011Updated 14 years ago
- ☆32Jan 31, 2013Updated 13 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.
- Micro-blogging engine☆58Sep 2, 2013Updated 13 years ago
- Dropbox as a Database - Demo☆23Nov 1, 2012Updated 13 years ago
- ☆12Sep 26, 2016Updated 10 years ago
- Create a little website, easily editable...☆14Sep 30, 2011Updated 15 years ago
- ☆11Aug 29, 2018Updated 8 years ago
- Package for Go (work in progress)☆11Nov 14, 2013Updated 12 years ago
- Regular expression authors best friend☆50Nov 27, 2016Updated 9 years ago
- Opa mode for Sublime Text☆18Apr 15, 2015Updated 11 years ago
- A Modern Lisp for the Erlang VM☆10Sep 8, 2015Updated 11 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.
- Scalable reliable delivery protocol for Lasp.☆22Oct 13, 2021Updated 5 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Chromium patch☆11May 24, 2013Updated 13 years ago
- An MVVM Helper for JavaScript☆14Jun 13, 2011Updated 15 years ago
- Examples to place several option parser into a real-world context☆13Aug 29, 2011Updated 15 years ago
- A module for working with HexGrids in Elm☆11Jul 15, 2014Updated 12 years ago
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 years ago
- Monitor Bandwidth for each page, download, and measure overall traffic in bytes☆17Updated this week
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆21Apr 6, 2026Updated 6 months ago
- Analysis library to create data views from queries☆17Jan 5, 2023Updated 3 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- A Pratt parser builder.☆12Jun 5, 2018Updated 8 years ago
- Firehose for the federated social web☆16Feb 19, 2018Updated 8 years ago
- Begin here for the simplest possible startup experience.☆14Sep 25, 2014Updated 12 years ago
- Lean specification of neural architectures with verified GPU codegen.☆35Updated this week
- The Opa Language for Web Application Development☆1,264Sep 30, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- a fake network driver to test network applications☆19Apr 23, 2012Updated 14 years ago
- Skyrim Capacity Vore☆10Aug 7, 2018Updated 8 years ago
- Convert data to and from a natural number representation☆13Apr 16, 2021Updated 5 years ago
- A simple android library to retrieve shortened urls from Goo.gl☆11Jan 25, 2016Updated 10 years ago
- updater for uTox☆20Jul 21, 2015Updated 11 years ago
- Code for the CUFP 2011 Snap Framework Tutorial☆21Apr 15, 2013Updated 13 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago