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
- My reading list☆82Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- HowIStart.org Hugo Site☆27Updated 8 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Finding Game of Life states that lead to pictures.☆18Updated 10 months 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
- an instant REPL for any command☆77Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- optimize your home bar with ✨logic programming✨☆77Updated 3 years ago
- You dig Scheme. The world is coded in C. You get both.☆99Updated 3 years ago
- storage combinators☆18Updated 4 years ago
- Random experiments, exploration, and learning☆83Updated 3 months ago
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 4 months ago
- A Prototype Debugging Tool for MIT Scheme☆32Updated 5 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- An rss reader☆100Updated 3 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 10 months ago
- A lambda calculus interpreter. GET IT?☆81Updated 3 years ago
- a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)☆87Updated 4 years ago
- Code for http://oilshell.org/blog/☆50Updated last week
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 3 years ago
- Employ your built-in wetware pattern recognition and signal processing facilities to understand your network traffic☆91Updated 3 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Algebraic structures for untyped Racket☆77Updated 7 months ago
- https://www.laarc.io/☆58Updated 3 years ago