zx9w / read-togetherLinks
Organize remote meetings for reading computer science papers
☆35Updated 5 years ago
Alternatives and similar repositories for read-together
Users that are interested in read-together are comparing it to the libraries listed below
Sorting:
- My reading list☆85Updated 3 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 3 years ago
- Render diagrams to Braille☆29Updated 9 months ago
- An infinite runner in your terminal☆102Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆81Updated 4 years ago
- Audible NP-Complete Problem☆22Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Automatic screen orientation via xrandr☆14Updated 7 years ago
- an instant REPL for any command☆77Updated 6 years ago
- A typed, polyglot, functional language☆211Updated last week
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Code for http://oilshell.org/blog/☆50Updated 5 months ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Proof-of-concept prototype for Userland☆159Updated 3 years ago
- Pointless: a scripting language for learning and fun☆123Updated last week
- Tools for making step-by-step code walkthroughs☆141Updated 5 years ago
- cat, but for colors 😼☆125Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A catalog of code worth reading☆115Updated 8 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- Brainfuck with Actors☆36Updated 7 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 2 weeks ago
- A universal interface to multiple unarchiving tools☆73Updated 3 weeks ago
- A relational interpretation of Lojban☆35Updated 6 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated last week
- GNUplot with sixel support☆101Updated 6 years ago