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 2 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated last year
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆11Updated 8 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• pigworker / WhatRTypes4
  being the materials from my YOW LambdaJam 2016 talk
  ☆11Updated 9 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 11 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• ucsd-progsys / liquid-types-spacemacs
  Spacemacs Layer for LiquidHaskell
  ☆13Updated 8 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 7 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• ocurrent / clarke
  ☆27Updated 11 months ago
• fosskers / mapalgebra
  Efficient, polymorphic Map Algebra in Haskell.
  ☆37Updated 5 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 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
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆28Updated 4 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 8 years ago
• gergoerdi / syntactic-stlc
  Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)
  ☆13Updated 8 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 5 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 6 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 7 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated 2 weeks ago
• jonsterling / sml-logical-framework
  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
  ☆14Updated 8 years ago
• hablapps / LensAlgebra
  Towards Optic-Based Algebraic Theories: the Case of Lenses
  ☆17Updated 6 years ago