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

• mariellefoster / marf-books
  Books I've read
  ☆39Updated last week
• jmou / zit
  Zero git - the imitation stupid content tracker
  ☆16Updated 5 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆15Updated 9 years ago
• charlesetc / caribou
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Updated last year
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• fosskers / streaming-osm
  A hand-written streaming byte parser for OpenStreetMap Protobuf data.
  ☆12Updated 3 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated last week
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• isovector / marlo
  a search engine for humans
  ☆19Updated 2 years ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• hablapps / LensAlgebra
  Towards Optic-Based Algebraic Theories: the Case of Lenses
  ☆17Updated 6 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• tweag / lagoon
  Data centralization tool
  ☆35Updated 4 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 8 years ago
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 6 years ago
• gelisam / laughable
  Clowns to the left of me, jokers to the right
  ☆15Updated 5 years ago
• shapr / trynocular
  lazy generators with observation
  ☆14Updated last year
• imalsogreg / dhallia
  Dhall-configured inductive API definitions
  ☆24Updated 5 years ago
• srid / unionmount
  Union mount in Haskell, with fsnotify
  ☆12Updated last month
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 8 years ago
• pigworker / WhatRTypes4
  being the materials from my YOW LambdaJam 2016 talk
  ☆10Updated 8 years ago