geekygirlsarah / puns
A repository of puns on a variety of topics
☆12Updated 5 years ago
Alternatives and similar repositories for puns:
Users that are interested in puns are comparing it to the libraries listed below
- A slack bot that will fetch type signatures via Hoogle☆21Updated 8 years ago
- an example airship app☆14Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- generalize counter-examples of property-based testing☆13Updated 11 months ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆22Updated 9 years ago
- UCI Datasets for Haskell☆11Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- Gtk-based screen capturing utility for XMonad.☆24Updated 9 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- ☆23Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Succinct vectors☆20Updated 6 years ago
- An exploration and implementation of the lambda calculus.☆12Updated 8 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 7 months ago
- GNU bash backend for Idris☆53Updated 5 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Interactive-diagrams☆39Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago