linzjax / remotelife-tips-and-tricksLinks
☆13Updated 5 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
Sorting:
- Books I've read☆39Updated 2 weeks ago
- Zero git - the imitation stupid content tracker☆16Updated 6 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Updated last year
- Tiny executable techniques for dealing with emoji☆22Updated 4 years ago
- Regional cycling maps inspired by metro/subway lines☆43Updated 2 years ago
- camels game☆20Updated last year
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- Distill information about amendments to the Oregon Revised Statutes.☆18Updated last month
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Literate coq blog posts☆17Updated 9 years ago
- automatic ci configuration for the people☆35Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- An OCaml library for creating pandoc filters.☆31Updated 7 months ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆44Updated last month
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 3 months ago
- Deferring the Details and Deriving Programs☆14Updated 5 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- ☆28Updated 6 months ago
- Irmin-based Markdown Editor☆46Updated 2 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18Updated 8 years ago
- 🌳 Generate a fresh bonsai in your terminal☆25Updated 3 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 8 years ago
- An Activitypub server in OCaml!☆67Updated 2 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- A database and web app to keep track of all my books☆29Updated last week
- Explore the concept of privilege through an interactive web app☆11Updated 3 years ago