Tritlo / TACOSLinks
TACOS (There's a Cat On the Sundeck) Detector
☆17Updated 8 years ago
Alternatives and similar repositories for TACOS
Users that are interested in TACOS are comparing it to the libraries listed below
Sorting:
- The Haskell Foundation website, hosted by GitHub Pages.☆41Updated last week
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 10 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- An attoparsec roundtrip☆19Updated 5 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- ☆72Updated 8 years ago
- being the scrapings of my stackoverflow answers☆48Updated 6 years ago
- ☆21Updated 3 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 4 years ago
- A How-To Performance Tuning Book for Haskell☆20Updated 4 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- A simple blogging platform with Haskell and Scotty☆38Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- My (rejected) OBT-2018 submission☆33Updated 5 years ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- Comment on Haskell documentation.☆13Updated 6 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 4 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- A total recursion scheme library for Dhall☆66Updated last month
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated last month
- Haskell implementation of W3C Webdriver Protocol (wip) https://w3c.github.io/webdriver/☆19Updated 5 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 6 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Updated 4 months ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 4 years ago
- Automation of Haskell package release process.☆31Updated 2 years ago
- sudoku solver in haskell☆41Updated 4 years ago
- 🔄 Synchronize personal configs across multiple machines☆21Updated 4 years ago
- type classes and deriving via for encoding☆22Updated 5 years ago