zx9w / read-togetherLinks
Organize remote meetings for reading computer science papers
☆34Updated 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☆84Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 3 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Automatic screen orientation via xrandr☆14Updated 6 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- An infinite runner in your terminal☆104Updated 5 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
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Proof-of-concept prototype for Userland☆158Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- an instant REPL for any command☆77Updated 6 years ago
- A typed, polyglot, functional language☆204Updated this week
- A catalog of code worth reading☆113Updated 8 years ago
- Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)☆82Updated 4 years ago
- Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…☆156Updated 2 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- An alternative to Urbit☆93Updated 8 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆81Updated last week
- Website for the malleable systems and software community☆61Updated 6 months ago
- various toys in j☆12Updated 3 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Code for http://oilshell.org/blog/☆50Updated 2 months ago
- Simple hierarchical notebook that's locale aware☆41Updated 6 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago