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
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 8 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• mariellefoster / marf-books
  Books I've read
  ☆39Updated last week
• yomimono / autoci
  automatic ci configuration for the people
  ☆35Updated 5 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 7 years ago
• ocurrent / clarke
  ☆27Updated 10 months ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• shonfeder / emojitsu
  Tiny executable techniques for dealing with emoji
  ☆22Updated 4 years ago
• muhokama / ring
  A statically generated webring with YOCaml, because we love small-web
  ☆21Updated last month
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year
• dbuenzli / affect
  Composable concurrency primitives with OCaml effects handlers (unreleased)
  ☆43Updated 11 months ago
• freuk / obandit
  ocaml multi-armed bandit module
  ☆19Updated 5 years ago
• yomimono / camels
  camels game
  ☆20Updated last year
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 7 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 7 years ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆40Updated 6 years ago
• ocamllabs / ocaml-memory-model
  ☆29Updated 6 years ago
• shapr / sandwatch
  Remember how long commands take, tell me if I have enough time to make a sandwich
  ☆26Updated last year
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• alpacaaa / tex
  Minimalistic file explorer, written in Haskell.
  ☆17Updated 6 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• msullivan / typecoin
  Typecoin: Massively Multiplayer Online Linear Logic
  ☆18Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago