zx9w / read-together
Organize remote meetings for reading computer science papers
☆33Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for read-together
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- You dig Scheme. The world is coded in C. You get both.☆100Updated 3 years ago
- Brainfuck with Actors☆36Updated 5 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- ☆21Updated 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…☆89Updated last year
- a whitespace-sensitive calculator☆21Updated last year
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- A heavily optimizing Brain**** interpreter written in Bash!☆30Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- HowIStart.org Hugo Site☆27Updated 5 months ago
- a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)☆87Updated 4 years ago
- A literate programming system for any language.☆85Updated 10 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- an instant REPL for any command☆77Updated 5 years ago
- Comparison between Java and Common Lisp solutions to a phone-encoding problem described by Prechelt☆30Updated 10 months ago
- https://www.laarc.io/☆58Updated 2 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆78Updated 2 years ago
- Plot Cookbook☆50Updated last year
- Sed Lisp -- a lisp interpreter in GNU sed☆52Updated 4 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 6 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- An infinite runner in your terminal☆104Updated 4 years ago
- Employ your built-in wetware pattern recognition and signal processing facilities to understand your network traffic☆92Updated 3 years ago
- ☆13Updated 3 years ago
- A neatly typeset version of John McCarthy's classic paper☆120Updated 11 months ago