Pads format description language
☆21Nov 19, 2015Updated 10 years ago
Alternatives and similar repositories for pads
Users that are interested in pads are comparing it to the libraries listed below
Sorting:
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- ☆12Dec 9, 2022Updated 3 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- the Meta-II VM in C☆21Aug 16, 2015Updated 10 years ago
- Beating the CAP theorem with the epidemic register☆17Jul 15, 2020Updated 5 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A Clojure library designed to convert (Enlivened) HTML to markdown; but, more generally, a framework for [HT|SG|X]ML transformation.☆22Dec 27, 2022Updated 3 years ago
- Instant collaboration on GitHub projects.☆146Jul 17, 2020Updated 5 years ago
- Fonts for demonstrating and testing various parts of the OpenType specification☆28Jul 14, 2021Updated 4 years ago
- The Kraken Programming Language☆50Feb 8, 2024Updated 2 years ago
- Property-based testing with inputs defined as EBNF grammars☆29Dec 6, 2024Updated last year
- A library for .NET development with the VersionOne REST API.☆10Apr 14, 2023Updated 2 years ago
- a SDK for creating a large mesh network, App example on☆16Feb 26, 2019Updated 7 years ago
- Store Terraform state for your GitHub Actions as an encrypted artifact or repository file.☆10Jul 12, 2024Updated last year
- turn a directory into a GUI, slash example of VNC-based GUI☆32Jan 20, 2021Updated 5 years ago
- ☆33Jun 15, 2025Updated 8 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 8 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- Declare the order in which Resque-based background tasks should run and implement them with blocks, using simple DSL, in ActiveRecord mod…☆10Jan 20, 2016Updated 10 years ago
- PSO Explorer Helm Chart☆11Jun 6, 2024Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 13 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- A Haskell-powered modernization of Counterexamples in Topology☆39Aug 1, 2016Updated 9 years ago
- A WIP definitional (co)datatype package for Lean4☆47Feb 21, 2026Updated last week
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 3 months ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- Simple example of usage of the Veracode API signing library provided on the Veracode Help Center☆10Nov 6, 2024Updated last year