Projects in Awesome Lists tagged with parse-dont-validate
A curated list of projects in awesome lists tagged with parse-dont-validate .
https://github.com/cpressey/lcf-style-nd
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
cpressey-theory encapsulation lcf-style natural-deduction parse-dont-validate proof-checker proof-checking propositional-logic theorem-prover theorem-proving
Last synced: 06 Mar 2026
https://github.com/denful/bend
Lens based data parser-combinators. Bidirectional transformation and validation pipelines for Nix.
data-access-library lens lenses nix parse-dont-validate parser-combinators validation-library
Last synced: 18 May 2026
https://github.com/catseye/castile
MIRROR of https://codeberg.org/catseye/Castile : A simple imperative language with union types (and a compiler for same, with multiple targets)
compiler experimental-language flow-typing interpreter multiple-backends multiple-targets parse-dont-validate programming-language typecase union-type union-types
Last synced: 26 May 2026
https://codeberg.org/catseye/Castile
A simple imperative language with union types (and a compiler for same, with multiple targets)
compiler experimental-language flow-typing interpreter multiple-backends multiple-targets parse-dont-validate programming-language typecase union-type union-types
Last synced: 23 Jul 2025
