tsloughter/OpaDo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tsloughter/OpaDo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tsloughter/OpaDo)

Close

tsloughter / OpaDoView on GitHubMore

• External links
• Readme badge

Opa port of the TodoMVC app

☆24Mar 11, 2012Updated 13 years ago

Alternatives and similar repositories for OpaDo

Users that are interested in OpaDo are comparing it to the libraries listed below

• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 years ago
• MLstate / birdy

  View on GitHub
  Micro-blogging engine
  ☆58Sep 2, 2013Updated 12 years ago
• winbomb / mahjong

  View on GitHub
  An online html5 mahjong game, build with opa.
  ☆17Aug 14, 2012Updated 13 years ago
• alokmenghrajani / riskybird

  View on GitHub
  Regular expression authors best friend
  ☆50Nov 27, 2016Updated 9 years ago
• alvarezleonardo / Material_DES

  View on GitHub
  Material extra
  ☆14Dec 6, 2017Updated 8 years ago
• david-hoffman / Igor-Data-Analysis

  View on GitHub
  Igor Pro data analysis procedures
  ☆15Sep 26, 2020Updated 5 years ago
• axel-springer-kugawana / serverless-alb-plugin

  View on GitHub
  Serverless plugin for Application Load Balancers
  ☆13Dec 11, 2020Updated 5 years ago
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆14Jan 26, 2023Updated 3 years ago
• laurencebarker / odin-SDR-console

  View on GitHub
  ODIN console files, for remote control of PowerSDR
  ☆13Aug 11, 2021Updated 4 years ago
• nothinglabs / chainringgen

  View on GitHub
  ☆10May 4, 2019Updated 6 years ago
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• getlantern / lantern-roadmap

  View on GitHub
  Roadmap for Lantern development
  ☆12Mar 2, 2018Updated 8 years ago
• OpsRockin / hhvm-for-amazon-linux

  View on GitHub
  ☆10Nov 29, 2017Updated 8 years ago
• sussman / rovers-day-out

  View on GitHub
  Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…
  ☆10Feb 19, 2016Updated 10 years ago
• frasermclean / AMX-IP-Socket-Manager

  View on GitHub
  AMX NetLinx IP Socket Manager
  ☆13May 2, 2017Updated 8 years ago
• 404craft / 101max

  View on GitHub
  maxscript fun
  ☆10Nov 22, 2019Updated 6 years ago
• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• github / gem-builder

  View on GitHub
  The scripts used to build RubyGems on GitHub
  ☆28Feb 15, 2015Updated 11 years ago
• rexim / focus

  View on GitHub
  A simple and fast text editor
  ☆14Aug 3, 2023Updated 2 years ago
• flori / permutation

  View on GitHub
  Permutation library in Ruby
  ☆29Jun 20, 2013Updated 12 years ago
• remobjects / calendar

  View on GitHub
  An open source CalDAV implementation for .NET and Mono, built on Data Abstract.
  ☆12Oct 22, 2012Updated 13 years ago
• mit-plv / reification-by-parametricity

  View on GitHub
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Jan 12, 2021Updated 5 years ago
• wenkokke / AutoInAgda

  View on GitHub
  Proof automation – for Agda, in Agda.
  ☆45Sep 7, 2020Updated 5 years ago
• ClusterLabs / pacemaker-1.0

  View on GitHub
  Code for the older 1.0 series of Pacemaker
  ☆12Jun 3, 2016Updated 9 years ago
• soulwing / wildfly-jgroups-aws-ping

  View on GitHub
  A Wildfly modules distribution that adds `AWS_PING` support for the JGroups subsystem.
  ☆10Jun 17, 2020Updated 5 years ago
• topfunky / cappuccino-couchdb

  View on GitHub
  A class for working with CouchDB documents from Cappuccino/Objective-J
  ☆65Oct 12, 2009Updated 16 years ago
• kejinlu / LKScroller

  View on GitHub
  Just a scroll bar like Reeder or Sparrow
  ☆14Jun 19, 2011Updated 14 years ago
• chrisdone-archive / caseof

  View on GitHub
  A simple way to query constructors, like cases but slightly more concise
  ☆11Mar 7, 2018Updated 8 years ago
• edwardjkim / astroclass

  View on GitHub
  A Hybrid Ensemble Learning Approach to Star-galaxy Classification
  ☆10Sep 3, 2015Updated 10 years ago
• agda / agda-finite-prover

  View on GitHub
  Library for proving propositions quantified over finite sets
  ☆14Sep 21, 2022Updated 3 years ago
• ibdknox / overtoneCljs

  View on GitHub
  a simple example project using noir, overtone, and my cljs libraries
  ☆24Nov 20, 2012Updated 13 years ago
• LAC1213 / compact_unit_ball

  View on GitHub
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Dec 7, 2019Updated 6 years ago
• g-ar / jsim

  View on GitHub
  simulations in J
  ☆13Dec 9, 2017Updated 8 years ago
• PDP-10 / microcode

  View on GitHub
  Central place for all PDP-10 microcode
  ☆13Mar 28, 2018Updated 7 years ago
• bakerjd99 / jod

  View on GitHub
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Apr 19, 2025Updated 10 months ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Feb 27, 2026Updated last week
• codereport / Advent-of-Code-2021

  View on GitHub
  Solutions to Advent of Code 2021 in APL
  ☆11Dec 1, 2022Updated 3 years ago
• saary / jsMvvm

  View on GitHub
  An MVVM Helper for JavaScript
  ☆14Jun 13, 2011Updated 14 years ago
• paulcarey / fuschia

  View on GitHub
  Fuschia is a graphical document browser for CouchDB
  ☆19Jan 13, 2009Updated 17 years ago