Alternatives and similar repositories for read-together:

Users that are interested in read-together are comparing it to the libraries listed below

• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• gregfjohnson / aplette
  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
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 5 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• jwiegley / una
  A universal interface to multiple unarchiving tools
  ☆69Updated last week
• alphagov / govuk-guix
  Package, service and system definitions using GNU Guix for software and systems related to GOV.UK.
  ☆69Updated 3 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated last week
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 10 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 6 months ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• alexcrist / scaler
  A web app that lets you play musical scales according to math equations
  ☆69Updated 3 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• DexterLagan / lsh
  A fully-featured lisp/scheme shell written in Racket.
  ☆122Updated 3 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 8 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 10 months ago
• moon-chilled / j
  various toys in j
  ☆12Updated 2 years ago
• susam / lab
  Random experiments, exploration, and learning
  ☆83Updated 3 months ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• andrewchambers / vscode-acmeish
  A vscode extension to run system commands.
  ☆31Updated 5 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆97Updated 7 years ago
• howistart / howistart.org
  HowIStart.org Hugo Site
  ☆27Updated 9 months ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆104Updated 4 years ago