zx9w / read-together
Organize remote meetings for reading computer science papers
☆33Updated 4 years ago
Alternatives and similar repositories for read-together:
Users that are interested in read-together are comparing it to the libraries listed below
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- My reading list☆82Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- 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…☆89Updated last year
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A universal interface to multiple unarchiving tools☆69Updated last week
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 3 years ago
- Code for http://oilshell.org/blog/☆50Updated last week
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 10 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Render diagrams to Braille☆29Updated 6 months ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A relational interpretation of Lojban☆33Updated 2 months ago
- A web app that lets you play musical scales according to math equations☆69Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆122Updated 4 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- Algebraic structures for untyped Racket☆77Updated 8 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 10 months ago
- various toys in j☆12Updated 2 years ago
- Random experiments, exploration, and learning☆83Updated 3 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- A vscode extension to run system commands.☆31Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆97Updated 7 years ago
- HowIStart.org Hugo Site☆27Updated 9 months ago
- An infinite runner in your terminal☆104Updated 4 years ago