linzjax / remotelife-tips-and-tricks
☆13Updated 4 years ago
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
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Updated last year
- Books I've read☆39Updated this week
- My favorite quotes☆17Updated 6 months ago
- ☆11Updated 2 years ago
- camels game☆20Updated last year
- ☆27Updated 2 months ago
- Zero git - the imitation stupid content tracker☆16Updated 5 years ago
- ☆18Updated last year
- ☆14Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆37Updated 4 years ago
- Implementation of Dhall in Dhall☆12Updated 2 months ago
- Authenticated Data Structures☆13Updated 9 years ago
- Tiny executable techniques for dealing with emoji☆22Updated 3 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- A Drum Machine DSL for Haskell☆94Updated 5 years ago
- RFCs for changes to the TLA+ specification language☆14Updated 3 years ago
- A simple note-taking app (WIP)☆15Updated 2 years ago
- A repository of puns on a variety of topics☆12Updated 5 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- automatic ci configuration for the people☆35Updated 5 years ago
- ☆13Updated 4 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Experiments in implementing functional data structures in Idris☆14Updated 5 years ago
- An Activitypub server in OCaml!☆66Updated last year
- "You are a rock" is a text-based rpg. You play as a rock buried deep beneath the ground.☆27Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- The Ur/Web People Organizer☆29Updated 8 months ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 7 years ago