A textual language for binary data.
☆37Jun 13, 2022Updated 3 years ago
Alternatives and similar repositories for protodata
Users that are interested in protodata are comparing it to the libraries listed below
Sorting:
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Dec 18, 2024Updated last year
- ☆21Mar 15, 2016Updated 9 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 2 months ago
- 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
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- Zero-knowledge client-side encrypted network filesystem☆38May 12, 2018Updated 7 years ago
- DBProxy - A Database Proxy Server base on MySQL☆10Sep 30, 2020Updated 5 years ago
- ECOin is a P2P crypto-currency with the goal of providing a long-term energy-efficient digital economy strategy.☆13Updated this week
- Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.☆14Jul 19, 2018Updated 7 years ago
- 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
- 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
- Chearch is a simple search engine written in Cray's Chapel language.☆34Oct 5, 2021Updated 4 years ago
- Backend Agnostic Renderer in Rust☆38May 6, 2020Updated 5 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- 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
- A server for the forester tool☆17Dec 10, 2024Updated last year
- MurmurHash function for PHP extension.☆11Jul 15, 2018Updated 7 years ago
- ☆11Oct 10, 2017Updated 8 years ago
- Source code for an tutorial☆10Jan 23, 2017Updated 9 years ago
- ☆10Aug 16, 2024Updated last year
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 6 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Boost.Mustache☆10Jan 31, 2023Updated 3 years ago
- willow - a simple interpreted programming language☆10Feb 3, 2018Updated 8 years ago
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Mar 12, 2022Updated 3 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- Pythonista 2.0 for iOS☆10Sep 9, 2016Updated 9 years ago
- Library for tokenizing code with TextMate grammars☆14Updated this week
- ☆12Feb 11, 2019Updated 7 years ago
- Producer-consumer problem visualization☆14Jan 2, 2020Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- 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
- Clipboard synchronization tool☆13Jan 30, 2026Updated last month
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago