A DSL and command-line tool for generating binary files.
☆36Apr 29, 2021Updated 5 years ago
Alternatives and similar repositories for bindef
Users that are interested in bindef are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Idiomatic Ruby hash transformations☆129Jun 9, 2019Updated 7 years ago
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆22Jan 7, 2023Updated 3 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- Procedural landscape☆20May 24, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Oct 19, 2023Updated 2 years ago
- Small powerful micro scripting language <1K SLOC☆65Oct 5, 2025Updated 8 months ago
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 7 years ago
- Aims to be interpreted C written in C.☆35May 22, 2025Updated last year
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- (WIP) A compiler written in Awk☆17Apr 12, 2016Updated 10 years ago
- Simple website to pad out images so they fit an aspect ratio of 16x9☆19Mar 25, 2021Updated 5 years ago
- InfluxDB client for Erlang☆29Mar 29, 2017Updated 9 years ago
- Cellular Automata - Pokemon Type Battle Simulation☆11Oct 26, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- Erlang SQL constructor☆70Apr 26, 2017Updated 9 years ago
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- A linguistic gloss formatter for several mark-up languages.☆12Apr 10, 2026Updated 2 months ago
- An "explicit control" Lisp interpreter written in assembly-like C☆12Dec 31, 2017Updated 8 years ago
- A configuration language written for the modern apps☆10Sep 27, 2017Updated 8 years ago
- A Unicode regular expression library written in Ruby☆62Jun 15, 2026Updated 2 weeks ago
- Runtime code analysis for ruby☆13Feb 22, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- A library for working with structured configuration in Go☆13Mar 23, 2023Updated 3 years ago
- Standalone JavaScript client for websocket-rails.☆10Apr 7, 2015Updated 11 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- Override methods while maintaining their original visibility☆36Apr 12, 2020Updated 6 years ago
- A token system based on proof of transport☆11Dec 21, 2021Updated 4 years ago
- A Datalog Framework for Python☆18Mar 8, 2023Updated 3 years ago
- GitHub action to install Perl Modules using App::cpanm☆16Jun 23, 2026Updated last week
- ☆10Feb 29, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- User authorization and session management in Rails.☆17Oct 21, 2024Updated last year
- ☆10Feb 9, 2022Updated 4 years ago
- Readline-esque library with fancy features☆79Jul 10, 2021Updated 4 years ago
- Backup your PostgreSQL database to Dropbox.☆11Feb 8, 2019Updated 7 years ago
- Execute a command on save☆11Aug 9, 2018Updated 7 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago