Alternatives and similar repositories for RA:

Users that are interested in RA are comparing it to the libraries listed below

• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆47Updated 13 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• scalien / scaliendb
  ScalienDB is a scalable, replicated datastore.
  ☆86Updated 11 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• bringhurst / tlaplus
  ☆27Updated 10 years ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆86Updated 9 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆59Updated 9 years ago
• socialite-lang / socialite
  SociaLite: query language for large-scale graph analysis and data mining
  ☆110Updated 8 years ago
• sol-prog / schm
  ☆38Updated 13 years ago
• openj / core
  abandoned, please check out https://github.com/jsoftware/jsource
  ☆118Updated 9 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• skaphan / stmmap
  STM (Software Transactional Memory) implementation in C, based on memory-mapping.
  ☆59Updated 15 years ago
• propella / prolog
  a prolog
  ☆29Updated 14 years ago
• jatovm / jato
  Jato, an open source implementation of the JVM
  ☆153Updated 10 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 12 years ago
• dmontag / neo4j-versioning
  ☆45Updated 13 years ago
• anthonyu / Sizzle
  A compiler and runtime for Google's Sawzall language, optimized for Hadoop
  ☆41Updated 11 years ago
• bos / strange-loop-2011
  Slides and examples from my Haskell workshop at Strange Loop.
  ☆53Updated 12 years ago
• bakks / virginian
  A GPU Database
  ☆146Updated 6 years ago
• andyfischer / circa
  A programming language for live coding
  ☆162Updated 4 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• Max-Hailperin / Operating-Systems-and-Middleware--Supporting-Controlled-Interaction
  free, modifiable textbook on operating systems principles (Creative Commons)
  ☆120Updated 3 years ago
• bjpop / berp
  An implementation of Python 3
  ☆313Updated 8 years ago
• mshroyer / pointfree
  Pointfree style support for Python
  ☆40Updated 11 years ago
• palvaro / CMPS290S-Winter16
  Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models
  ☆51Updated 7 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆100Updated 10 months ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆74Updated last year