zx9w / read-togetherLinks
Organize remote meetings for reading computer science papers
☆33Updated 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☆83Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 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…☆89Updated 2 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Simple hierarchical notebook that's locale aware☆41Updated 5 years ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- HowIStart.org Hugo Site☆28Updated last year
- Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.☆69Updated 3 years ago
- Comparison between Java and Common Lisp solutions to a phone-encoding problem described by Prechelt☆30Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)☆87Updated 4 years ago
- Variaous articles☆80Updated 2 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Learn Common Lisp in one month intervals (current period is November 27 - December 27 2018)☆32Updated 6 years ago
- Finding Game of Life states that lead to pictures.☆18Updated last year
- ☆21Updated 5 years ago
- https://www.laarc.io/☆59Updated 3 years ago
- A universal interface to multiple unarchiving tools☆71Updated last week