An implementation of derivative parsing in the parser combinator framework
☆59Dec 2, 2010Updated 15 years ago
Alternatives and similar repositories for derivative-combinators
Users that are interested in derivative-combinators are comparing it to the libraries listed below
Sorting:
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Apr 1, 2024Updated last year
- Generalized, incremental parser combinators for scalaz-stream☆62Jan 2, 2015Updated 11 years ago
- A fast parser combinator library, with extra querying goodness☆34Oct 31, 2016Updated 9 years ago
- A parser tool for Racket with an expressive grammar notation☆20Mar 8, 2015Updated 10 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- two strange things to do with neural nets☆15Feb 18, 2019Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated 5 months ago
- An ENSIME SideKick plugin for jEdit☆16Jan 9, 2012Updated 14 years ago
- Interpreter for the Joy programming language, written in JavaScript☆14Oct 3, 2018Updated 7 years ago
- Repository containing the TextMate grammars used by StackBlitz☆15Oct 7, 2025Updated 4 months ago
- A simple Binary Decision Diagram library in Java☆15Jul 15, 2018Updated 7 years ago
- A PowerShell Drive Provider for reading Zipfiles☆14Feb 18, 2025Updated last year
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- Enable on-the-fly scripting of your VS Code environment☆12Feb 12, 2026Updated 2 weeks ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Interprocedural Static Analysis Engine for Scala☆20Mar 8, 2013Updated 12 years ago
- Audio Synthesis and Mastering For Python (Jython)☆17Dec 29, 2017Updated 8 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- HTML Escape extension for Visual Studio Code☆14Jun 25, 2021Updated 4 years ago
- Clone of the Rebol DocBase Wiki☆13Jan 28, 2021Updated 5 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- A profiler for clojure STM☆23Mar 13, 2012Updated 13 years ago
- ☆16Jun 24, 2024Updated last year
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- A NoSql database designed for maximum plugablitily and configurability.☆17Jul 30, 2025Updated 7 months ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Feb 27, 2021Updated 5 years ago
- Koin3D, a java port of Coin3D with LWJGL☆18Oct 25, 2023Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- Library that provides those stupid little IO utility methods you always end up needing.☆26Jan 17, 2018Updated 8 years ago
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- ☆20Sep 28, 2018Updated 7 years ago