FranklinChen / Ebnf2psLinks
Generate PostScript diagrams from an EBNF grammar
☆25Updated 9 years ago
Alternatives and similar repositories for Ebnf2ps
Users that are interested in Ebnf2ps are comparing it to the libraries listed below
Sorting:
- literate programming meets unison☆28Updated this week
- SPJ's tutorial on implementing functional languages☆29Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Hope programming language interpreter☆40Updated this week
- A string diagram generator for LaTeX.☆27Updated last year
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Optional types for Prolog☆16Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last week
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Vim style editor written in Racket☆14Updated 5 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- ☆71Updated 4 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Stackless Joy☆23Updated last month
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last week
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago