Alternatives and similar repositories for protodata

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

• umazalakain / session-types-coq

  View on GitHub
  Formalising session types in Coq
  ☆17Sep 6, 2019Updated 6 years ago
• Agnishom / lregex

  View on GitHub
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Dec 18, 2024Updated last year
• maximedenes / coq-amd64

  View on GitHub
  ☆21Mar 15, 2016Updated 9 years ago
• jdan / compiler.lean

  View on GitHub
  A formally verified compiler for a simple language with numbers and sums
  ☆27Nov 29, 2020Updated 5 years ago
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• fuzzypixelz / hustle

  View on GitHub
  Haskell implementation of the KDL Document Language
  ☆27Dec 15, 2025Updated last month
• Nuthouse01 / Interactively-Merge-Pages

  View on GitHub
  Python script that will take two manga pages, identify all the regions where the two are different, and let you choose which parts of whi…
  ☆10Mar 28, 2021Updated 4 years ago
• RedPRL / sml-typed-abts

  View on GitHub
  second-order abstract syntax
  ☆31Sep 15, 2021Updated 4 years ago
• s-macke / CoverFS

  View on GitHub
  Zero-knowledge client-side encrypted network filesystem
  ☆38May 12, 2018Updated 7 years ago
• NoLimitCoin / NoLimitCoin-Core

  View on GitHub
  Inside this repository you'll find the NoLimitCoin ($NLC2) Core. This is the official blockchain solution powering the Nolimitcoin projec…
  ☆10Jul 8, 2021Updated 4 years ago
• spriteray / dbproxy

  View on GitHub
  DBProxy - A Database Proxy Server base on MySQL
  ☆10Sep 30, 2020Updated 5 years ago
• adelva1984 / megazeux

  View on GitHub
  Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.
  ☆14Jul 19, 2018Updated 7 years ago
• epsylon / ecoin

  View on GitHub
  ECOin is a P2P crypto-currency with the goal of providing a long-term energy-efficient digital economy strategy.
  ☆13Feb 23, 2025Updated 11 months ago
• c4akarl / StockfishChess

  View on GitHub
  Stockfish Engine OEX is a collection of compiled Stockfish engines . You need an Android chess application compatible with the Open Excha…
  ☆10Sep 3, 2021Updated 4 years ago
• briangu / chearch

  View on GitHub
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Oct 5, 2021Updated 4 years ago
• brandonpollack23 / sarekt

  View on GitHub
  Backend Agnostic Renderer in Rust
  ☆38May 6, 2020Updated 5 years ago
• jingle-lang / jingle

  View on GitHub
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Feb 19, 2021Updated 4 years ago
• ArdalanM / pyDD

  View on GitHub
  ☆11Oct 10, 2017Updated 8 years ago
• rryqszq4 / php-murmurhash

  View on GitHub
  MurmurHash function for PHP extension.
  ☆11Jul 15, 2018Updated 7 years ago
• pdimov / mustache

  View on GitHub
  Boost.Mustache
  ☆10Jan 31, 2023Updated 3 years ago
• roberttod / tutorial-pt-2

  View on GitHub
  Source code for an tutorial
  ☆10Jan 23, 2017Updated 9 years ago
• w32zhong / BTreeimplementation

  View on GitHub
  CSC 541 Assignment 4 B-Trees Introduction The goals of this assignment are two-fold: To introduce you to searching data on disk using B…
  ☆11May 10, 2015Updated 10 years ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• weepingwitch / willow

  View on GitHub
  willow - a simple interpreted programming language
  ☆10Feb 3, 2018Updated 8 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• austin-bowen / rosy

  View on GitHub
  It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes
  ☆11Sep 5, 2025Updated 5 months ago
• iEzhuk / WMT_MapTools

  View on GitHub
  ☆10Aug 16, 2024Updated last year
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• ethannicholas / Frost

  View on GitHub
  Frost is a powerful, general purpose, multi-paradigm programming language
  ☆38Mar 12, 2022Updated 3 years ago
• jansol / squish-rs

  View on GitHub
  A pure Rust BC1/2/3/4/5 compressor and decompressor based on libsquish
  ☆10Jul 28, 2022Updated 3 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆18Apr 17, 2021Updated 4 years ago
• catenate / credo

  View on GitHub
  Many small scripts generate, comprise, and run a build system. (An adaptation of djb's "redo" build-tool idea.)
  ☆22May 8, 2015Updated 10 years ago
• thedevsaddam / snapshot

  View on GitHub
  Robust, Persistent, Key-Value (KV) store purely written in Golang
  ☆11Aug 25, 2019Updated 6 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• karthiTox / deepnet.js

  View on GitHub
  Auto-differentiation library for javascript
  ☆12Mar 4, 2021Updated 4 years ago
• mnurzia / bbre

  View on GitHub
  Compact, non-backtracking, unicode aware regular expressions in C89
  ☆10Apr 17, 2025Updated 9 months ago
• fractalego / parvusdb

  View on GitHub
  A simple in-memory graph database (wrapper for python-igraph)
  ☆11Jul 6, 2019Updated 6 years ago
• githwxi / XATSHOME

  View on GitHub
  For hosting ATS3 and developing CodeDepot
  ☆16Feb 6, 2026Updated last week