Alternatives and similar repositories for remotelife-tips-and-tricks

Users that are interested in remotelife-tips-and-tricks are comparing it to the libraries listed below

• charlesetc / caribou
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Updated last year
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• shonfeder / emojitsu
  Tiny executable techniques for dealing with emoji
  ☆22Updated 4 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• freuk / obandit
  ocaml multi-armed bandit module
  ☆19Updated 5 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 7 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• mariellefoster / marf-books
  Books I've read
  ☆39Updated this week
• ocurrent / clarke
  ☆28Updated 8 months ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 10 months ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆16Updated 6 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆16Updated 10 years ago
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆28Updated 3 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 10 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• pigworker / WhatRTypes4
  being the materials from my YOW LambdaJam 2016 talk
  ☆11Updated 9 years ago
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• fosskers / mapalgebra
  Efficient, polymorphic Map Algebra in Haskell.
  ☆37Updated 5 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• FailWhaleBrigade / water-wars
  Game in Haskell
  ☆14Updated last year
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago