jez / blogLinks
an Octopress blog by Jake Zimmerman
☆16Updated 3 weeks ago
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below
Sorting:
- A simple blogging platform with Haskell and Scotty☆38Updated 3 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- ☆23Updated 7 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- Classical Logic in Haskell☆24Updated this week
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆118Updated 3 years ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆30Updated 3 weeks ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Updated 4 years ago
- Render hierarchical git repositories into HTML☆74Updated 10 months ago
- Ragged writings on all things☆15Updated 3 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- Why Types Matter☆45Updated 8 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Thoughts and stuff☆70Updated 5 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Updated 8 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Updated 5 years ago
- ☆21Updated 5 years ago
- Hoogle terminal UI brick example app☆102Updated last month
- A simple combinator library☆30Updated 7 years ago
- Jupyter notebooks☆58Updated last week
- ☆17Updated 2 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 10 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Agda grammar for tree-sitter☆39Updated 2 months ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56Updated 7 years ago