Haskell binding for PADS
☆21Jun 10, 2019Updated 6 years ago
Alternatives and similar repositories for pads-haskell
Users that are interested in pads-haskell are comparing it to the libraries listed below
Sorting:
- Pads format description language☆21Nov 19, 2015Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- RISC-V Assembly with a C wrapper☆12Sep 23, 2019Updated 6 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Partial differential equations using Discrete Exterior Calculus☆16Oct 9, 2019Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- Recipes for the Calibre ebook management suite☆24Jan 1, 2019Updated 7 years ago
- A Common Lisp Framework for the Semantic Web☆24Mar 28, 2021Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- ☆19May 18, 2023Updated 2 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- combined object/lambda architcture☆25May 2, 2009Updated 16 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Conflict-free Replicated Data Types for Rust☆22May 7, 2015Updated 10 years ago
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Sep 6, 2024Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- The Coil Programming Language☆33Mar 19, 2024Updated last year
- Extra tools for setting up Documenter☆31Nov 24, 2025Updated 3 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Package registry for Lean/Lake.☆40Feb 20, 2026Updated last week
- A library for .NET development with the VersionOne REST API.☆10Apr 14, 2023Updated 2 years ago
- ☆33Jun 15, 2025Updated 8 months ago
- Match compilation algorithm in OCaml☆34Feb 24, 2025Updated last year
- Signature inference for Functional Property Discovery in Haskell☆38Sep 17, 2017Updated 8 years 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