PromyLOPh / pestoLinks
Repository moved to codeborg.org, see below.
☆43Updated 4 years ago
Alternatives and similar repositories for pesto
Users that are interested in pesto are comparing it to the libraries listed below
Sorting:
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆61Updated 4 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- A modern tool for literate programming☆275Updated 8 years ago
- Truth-table generator for classical propositional logic☆26Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- gopher library & server written in Haskell☆46Updated 2 months ago
- Render hierarchical git repositories into HTML☆74Updated 7 months ago
- Haskell binding for PADS☆19Updated 6 years ago
- Pixel art for games☆140Updated 10 years ago
- A prettyprinting library designed for laying out plain text documents☆23Updated last month
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Haskell interface to the pcg random number generator☆41Updated last year
- A static analysis tool for C.☆27Updated 5 years ago
- Project Management for Hackers☆135Updated 6 years ago
- A reversible language☆22Updated 6 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Library for invertible parsing and printing☆32Updated last year
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The Nomyx game☆84Updated last year
- Real number computation software☆126Updated 3 years ago
- Filesystem access tracer☆84Updated 11 months ago
- Exercism exercises in Coq.☆19Updated 9 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆29Updated 2 years ago
- Generate colorful wallpapers!☆88Updated 2 years ago