jez / blog
an Octopress blog by Jake Zimmerman
☆16Updated 4 months ago
Alternatives and similar repositories for blog:
Users that are interested in blog are comparing it to the libraries listed below
- Classical Logic in Haskell☆24Updated last week
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆46Updated 4 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆23Updated 6 years ago
- ☆23Updated 7 years ago
- Why Types Matter☆45Updated 8 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- Haskell Package Version Policy (PVP)☆38Updated 7 months ago
- Generate realistic looking fake data☆47Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Port of asciimoo/drawille to haskell.☆27Updated last year
- ☆8Updated 2 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆30Updated 2 years ago
- Zettelkasten file processor☆12Updated 4 years ago
- My home manager config☆16Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated last year
- Haskell implementation of nominal datatypes and functions☆39Updated 4 years ago
- ⚖️ Trial Data Type☆20Updated this week
- Render hierarchical git repositories into HTML☆73Updated 2 months ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago