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:
- HTML template strings☆12Jul 18, 2020Updated 6 years ago
- Parsec-like parser combinators for Crystal☆17Nov 17, 2022Updated 3 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Dec 18, 2020Updated 5 years ago
- uncompress, parse and load tool for csv, xls, xlsx, text☆14Sep 11, 2018Updated 8 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 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
- Simple Vulkan demo program☆14Jul 15, 2018Updated 8 years ago
- A simple S-expression parser (and evaluator) in Rust☆14Jan 16, 2014Updated 12 years ago
- Manage multiple active Dart versions.☆12Mar 4, 2018Updated 8 years ago
- Procedural landscape☆20May 24, 2017Updated 9 years ago
- (WIP) A compiler written in Awk☆17Apr 12, 2016Updated 10 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Oct 19, 2023Updated 3 years ago
- SAX(Simple API for XML)-like API for golang☆23Mar 29, 2026Updated 7 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Task organisation for dev projects, based on a pure shell script.☆21Feb 3, 2024Updated 2 years ago
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 7 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 6 years ago
- Antiquify text with this unique jQuery plugin. Randomly applied aberrations makes text look like it came straight off an old, antique pri…☆13Dec 28, 2012Updated 13 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Jul 12, 2022Updated 4 years ago
- A linguistic gloss formatter for several mark-up languages.☆12Apr 10, 2026Updated 6 months ago
- Runtime code analysis for ruby☆13Feb 22, 2019Updated 7 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- Small C application + library for producing packed spritesheets.☆16Aug 7, 2017Updated 9 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated last year
- Template to effortlessly build math-rich websites☆41Jan 7, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Il grande libro di ItaCa☆11Updated this week
- Trigram inverted search index generator/client in Ruby + JS client☆12May 25, 2011Updated 15 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 9 years ago
- ☆10Feb 9, 2022Updated 4 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20May 11, 2017Updated 9 years ago
- A JavaScript processor simulator to design and execute any assembly language architecture☆27Sep 23, 2017Updated 9 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 7 months ago