mikeizbicki / american-shit
primary and secondary sources documenting America's misdeads
☆11Updated 9 years ago
Alternatives and similar repositories for american-shit:
Users that are interested in american-shit are comparing it to the libraries listed below
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Giphy HTTP API Wrapper for Haskell☆27Updated 5 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- The Spire Programming Language☆59Updated 10 years ago
- README files used to be able to lie. Now they can't! Woo!☆38Updated 4 years ago
- ☆55Updated 8 years ago
- A webpack loader for Haskell (!)☆15Updated 10 years ago
- Interactive, client-side web apps in Haskell☆147Updated 10 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆11Updated 8 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- ☆63Updated 6 years ago
- Tool for detecting redundant Cabal package dependencies☆47Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Rails-like inflections for Haskell☆36Updated last year
- Port of asciimoo/drawille to haskell.☆27Updated last year
- Heroku + docker + haskell = ?☆13Updated 9 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Updated 7 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- ☆18Updated 10 years ago
- A proof of false in Coq.☆96Updated 5 years ago
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- Programming Language meets UI☆51Updated 7 years ago