junyang / RALinks
RA: A Relational Algebra Interpreter
☆87Updated 11 years ago
Alternatives and similar repositories for RA
Users that are interested in RA are comparing it to the libraries listed below
Sorting:
- Short introduction to topology for people who don't really care about topology☆49Updated 14 years ago
- a prolog☆29Updated 14 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- abandoned, please check out https://github.com/jsoftware/jsource☆120Updated 9 years ago
- A programming language for live coding☆162Updated 5 years ago
- The transcript of a Donald Knuth interview in 2006☆227Updated 9 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Pointfree style support for Python☆41Updated 12 years ago
- ☆27Updated 11 years ago
- McCarthy's Lisp in Python with macros. A celebration of 50+ years of symbolic processing.☆260Updated 2 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 3 years ago
- Collection of various research papers I find interesting☆84Updated 9 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- An implementation of Python 3☆314Updated 9 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Parse any language you can describe in BNF☆163Updated 2 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 9 years ago
- A JavaScript port of Paul Graham's Arc programming language☆20Updated 17 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 2 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- The Mythryl programming language☆117Updated 9 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- ☆38Updated 13 years ago
- Perl6 User's Golfing System in Haskell☆36Updated 13 years ago
- free, modifiable textbook on operating systems principles (Creative Commons)☆121Updated 4 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago