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 2 weeks ago
• charlesetc / caribou
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Updated last year
• jmou / zit
  Zero git - the imitation stupid content tracker
  ☆16Updated 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
• cymikelee / metro-bike-maps
  Regional cycling maps inspired by metro/subway lines
  ☆43Updated last year
• derekelkins / ads
  Authenticated Data Structures
  ☆13Updated 9 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• public-law / oregon-law-parser
  Distill information about amendments to the Oregon Revised Statutes.
  ☆18Updated last year
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 6 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 8 months ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• barrucadu / bookdb
  A database and web app to keep track of all my books
  ☆29Updated this week
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 8 years ago
• shonfeder / emojitsu
  Tiny executable techniques for dealing with emoji
  ☆22Updated 3 years ago
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆24Updated 3 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• dinakajoy / pen-it-down
  A simple note-taking app (WIP)
  ☆15Updated 2 years ago
• pveber / scirep
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆16Updated 2 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• yomimono / camels
  camels game
  ☆20Updated last year
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 6 years ago
• mitchellwrosen / haskell-papers
  https://mitchellwrosen.github.io/haskell-papers
  ☆22Updated 6 years ago