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
• 404craft / 101max

  View on GitHub
  maxscript fun
  ☆10Nov 22, 2019Updated 6 years ago
• frasermclean / AMX-IP-Socket-Manager

  View on GitHub
  AMX NetLinx IP Socket Manager
  ☆13May 2, 2017Updated 8 years ago
• laurencebarker / odin-SDR-console

  View on GitHub
  ODIN console files, for remote control of PowerSDR
  ☆13Aug 11, 2021Updated 4 years ago
• github / gem-builder

  View on GitHub
  The scripts used to build RubyGems on GitHub
  ☆29Feb 15, 2015Updated 11 years ago
• OpsRockin / hhvm-for-amazon-linux

  View on GitHub
  ☆10Nov 29, 2017Updated 8 years ago
• getlantern / lantern-roadmap

  View on GitHub
  Roadmap for Lantern development
  ☆12Mar 2, 2018Updated 7 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 9 years ago
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆13Jan 26, 2023Updated 3 years ago
• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• nothinglabs / chainringgen

  View on GitHub
  ☆10May 4, 2019Updated 6 years ago
• agda / agda-finite-prover

  View on GitHub
  Library for proving propositions quantified over finite sets
  ☆14Sep 21, 2022Updated 3 years ago
• PDP-10 / microcode

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

  View on GitHub
  Tools to analyze web archives
  ☆20Jul 12, 2016Updated 9 years ago
• ip1981 / sproxy2

  View on GitHub
  HTTP proxy for authenticating users via OAuth2
  ☆10Sep 6, 2019Updated 6 years ago
• irr / newlisp-labs

  View on GitHub
  newLISP programming...
  ☆10Sep 25, 2015Updated 10 years ago
• jemc / pony-capnp

  View on GitHub
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Apr 7, 2018Updated 7 years ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Updated this week
• kprevas / ronin

  View on GitHub
  Ronin web framework
  ☆30May 8, 2021Updated 4 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
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• opencompl / sail-riscv-lean

  View on GitHub
  ☆24Updated this week
• perl6 / nqp-rx

  View on GitHub
  (ARCHIVE) nqp-rx
  ☆37Sep 25, 2014Updated 11 years ago
• ClusterLabs / pacemaker-1.0

  View on GitHub
  Code for the older 1.0 series of Pacemaker
  ☆12Jun 3, 2016Updated 9 years ago
• laelath / well-typed-term-generator

  View on GitHub
  A OCaml generator for well-typed terms (that use their arguments).
  ☆11Feb 22, 2025Updated 11 months ago
• devolonter / flixel-monkey

  View on GitHub
  This is a port of flixel to the Monkey language
  ☆34Aug 4, 2016Updated 9 years ago
• bakerjd99 / jod

  View on GitHub
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Apr 19, 2025Updated 9 months 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
• 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
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 9 months ago
• graemetait / sublime-subversion

  View on GitHub
  Basic Subversion plugin for Sublime Text
  ☆11Jan 7, 2012Updated 14 years ago