davdar / parsing-with-derivatives-haskellView external linksLinks
The original parsing with derivatives haskell implementation
☆12Aug 25, 2015Updated 10 years ago
Alternatives and similar repositories for parsing-with-derivatives-haskell
Users that are interested in parsing-with-derivatives-haskell are comparing it to the libraries listed below
Sorting:
- Duo - A research language exploring duality in programming language design☆61May 23, 2023Updated 2 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago
- Non euclidian game in unity☆18Jun 12, 2021Updated 4 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- Clojure library for deferred namespace loading☆24Apr 29, 2018Updated 7 years ago
- Library for writing interactive and visual Futhark programs☆22Jan 9, 2026Updated last month
- A reflection-based proof tactic for lattices in Coq☆21Oct 15, 2023Updated 2 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- ☆64Sep 13, 2022Updated 3 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 3 years ago
- Horn Clause Constraint Solving for Liquid Types☆157Feb 9, 2026Updated last week
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 10 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated 11 months ago
- Waze for Windows Phone 7☆21Apr 10, 2013Updated 12 years ago
- ☆11Updated this week
- Dual Traversable☆41Jan 10, 2026Updated last month
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆49Sep 23, 2025Updated 4 months ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- ☆19Aug 19, 2025Updated 5 months ago
- Basic caching php mirror for imgur☆10Feb 1, 2018Updated 8 years ago
- Create a Toxicity Chart based on metrics provided by checkstyle rules.☆10Aug 13, 2015Updated 10 years ago
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- another crux ports repo☆11Updated this week
- Static site for viewing Undertale/Deltarune game scripts made so we have a site to reference when citing code on Undertale/Deltarune Wiki…☆14Feb 9, 2026Updated last week
- The spell program from the 10th Edition Unix system☆10Jul 12, 2020Updated 5 years ago