Alternatives and similar repositories for arvo

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

• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• ponylang / crypto

  View on GitHub
  Library of common cryptographic algorithms and functions for Pony
  ☆12Jul 16, 2025Updated 6 months ago
• randombyte-developer / kt-skript

  View on GitHub
  A Sponge plugin.
  ☆10Jul 25, 2020Updated 5 years ago
• mpcsh / ForML

  View on GitHub
  Bachelor's thesis 2019
  ☆12Jun 3, 2023Updated 2 years ago
• rain-1 / tarot-compiler

  View on GitHub
  ☆18Aug 20, 2019Updated 6 years ago
• jonsterling / sml-modernized-algol

  View on GitHub
  Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
  ☆15Jul 21, 2017Updated 8 years ago
• ark-lang / docs

  View on GitHub
  Documentation for the Ark language
  ☆12Mar 3, 2016Updated 9 years ago
• alexandermburke / FiveNightsAtFreddys

  View on GitHub
  The official Github Repo and Download for the FNAF Mod
  ☆10Nov 10, 2015Updated 10 years ago
• schmooblidon / slippi-visualiser

  View on GitHub
  A lightweight visualiser for Project Slippi Melee replays
  ☆21Jan 7, 2023Updated 3 years ago
• zpoken / penumbra-crypto-sdk

  View on GitHub
  A TypeScript penumbra SDK
  ☆18Aug 4, 2022Updated 3 years ago
• jtoman / claims

  View on GitHub
  A LaTeX package for proof carrying papers
  ☆24Dec 8, 2016Updated 9 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• davidgfnet / reicast-emulator

  View on GitHub
  Reicast is a multiplatform Sega Dreamcast emulator
  ☆21May 26, 2019Updated 6 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• dobyrch / dbc

  View on GitHub
  B compiler front end implemented using Flex+Bison+LLVM
  ☆21Jan 21, 2017Updated 9 years ago
• LapisBlue / Nocturne

  View on GitHub
  A graphical tool for creation of Java deobfuscation mappings.
  ☆24Nov 12, 2019Updated 6 years ago
• tomekw / simple_blockchain

  View on GitHub
  Simple blockchain in Ada
  ☆21Sep 11, 2025Updated 5 months ago
• TyOverby / astar

  View on GitHub
  DEPRICATED
  ☆32May 21, 2018Updated 7 years ago
• jam1garner / nail

  View on GitHub
  A vim-inspired hex editor written in rust
  ☆25Feb 20, 2022Updated 3 years ago
• phase / mars

  View on GitHub
  Minimal programming language with type inference, structures, control flow, and more.
  ☆21Jul 26, 2019Updated 6 years ago
• kevinsheehan / jps

  View on GitHub
  Java Jump Point Search Implementation
  ☆26Feb 21, 2016Updated 9 years ago
• JorthVM / JorthVM

  View on GitHub
  a Java VM implemented in Forth
  ☆41Apr 27, 2012Updated 13 years ago
• john01dav / ServerForge

  View on GitHub
  A Forge based Minecraft server-side plugin API
  ☆13Nov 23, 2014Updated 11 years ago
• SheetJS / k

  View on GitHub
  Spreadsheet Differ
  ☆86Jul 4, 2020Updated 5 years ago
• qgevans / WOPO

  View on GitHub
  IRC bot in COBOL-74
  ☆38Feb 15, 2024Updated last year
• andyfischer / circa

  View on GitHub
  A programming language for live coding
  ☆163May 5, 2020Updated 5 years ago
• alox-ai / alox-old

  View on GitHub
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Jun 21, 2023Updated 2 years ago
• vijaymathew / slogan

  View on GitHub
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Dec 16, 2021Updated 4 years ago
• pirapira / coq2rust

  View on GitHub
  Coq to Rust program extraction. The whole tree is on the original Coq code base.
  ☆226Dec 24, 2014Updated 11 years ago
• georgestagg / repo

  View on GitHub
  A Cydia Repo for iOS tweaks hosted on github.
  ☆13Mar 5, 2018Updated 7 years ago
• AllTheMods / AllTheModium

  View on GitHub
  AllTheModium for Minecraft 1.16+
  ☆17Jan 16, 2026Updated 3 weeks ago
• dbittman / sea

  View on GitHub
  Userland and toolchain for seakernel
  ☆13Dec 11, 2015Updated 10 years ago
• paddywwoof / rust_pi3d

  View on GitHub
  translation of pi3d from python to rust
  ☆11Jun 28, 2025Updated 7 months ago
• BruceJillis / fp.py

  View on GitHub
  Compiler and interpreter for a miranda-like functional language in Python.
  ☆12Dec 28, 2011Updated 14 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• Swiftloke / MSProbe

  View on GitHub
  Simple, straightforward MSP430 disassembler and assembler in Python
  ☆14Jul 5, 2023Updated 2 years ago
• refi64 / libcut

  View on GitHub
  Easy, flexible C unit testing
  ☆11Feb 13, 2016Updated 10 years ago
• 0xall / confirmed-merkle-tree

  View on GitHub
  ☆10Feb 3, 2023Updated 3 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago