PromyLOPh / pestoLinks
Repository moved to codeborg.org, see below.
☆44Updated 5 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☆91Updated 3 years ago
- Haskell binding for PADS☆20Updated 6 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- gopher library & server written in Haskell☆46Updated 5 months ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Real number computation software☆127Updated 3 years ago
- A Pandoc filter for including code from source files☆147Updated 2 years ago
- Render hierarchical git repositories into HTML☆74Updated 9 months ago
- Exercism exercises in Coq.☆19Updated last year
- Tool to count lines of source code.☆252Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Truth-table generator for classical propositional logic☆26Updated 4 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated last year
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆30Updated this week
- Haskell Gopher Protocol TUI Client 🧇☆22Updated last year
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- A prettyprinting library designed for laying out plain text documents☆24Updated 2 months ago
- Project Management for Hackers☆135Updated 6 years ago
- Tool to convert literate code between styles or to code.☆11Updated 6 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 6 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- a syntax directed editor☆17Updated last year
- The Nomyx game☆84Updated 2 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago