PromyLOPh / pesto
Repository moved to codeborg.org, see below.
☆43Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pesto
- Exercism exercises in Coq.☆18Updated 3 weeks ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Haskell binding for PADS☆18Updated 5 years ago
- ☆19Updated 7 years ago
- The Notes☆12Updated 6 years ago
- A versioning file store backed by git, darcs, or mercurial☆30Updated 6 months ago
- Library for invertible parsing and printing☆31Updated 5 months ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆49Updated last month
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆28Updated 2 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 8 years ago
- A prettyprinting library designed for laying out plain text documents☆22Updated 2 months ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆17Updated 3 years ago
- Truth-table generator for classical propositional logic☆26Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- gopher library & server written in Haskell☆47Updated last year
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Boolean Constraint Solving in Prolog☆37Updated last year
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Notes about research.☆8Updated 2 years ago
- Haskell API for controlling Phillips Hue lights☆15Updated 8 years ago
- Render hierarchical git repositories into HTML☆73Updated 3 months ago
- crash in various possible ways☆39Updated last year
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆37Updated 7 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆28Updated last year
- Python term rewriting☆27Updated 11 years ago
- An encyclopedia of proofs☆57Updated last week
- ☆11Updated 2 years ago