awh / compsci-papersLinks
Influential computer science papers
☆98Updated 10 years ago
Alternatives and similar repositories for compsci-papers
Users that are interested in compsci-papers are comparing it to the libraries listed below
Sorting:
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆322Updated 4 years ago
- Code samples for using libjit☆91Updated 8 years ago
- An implementation of Scheme in Python and C++☆173Updated 5 months ago
- ☆42Updated 9 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆190Updated 13 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- A quick and very dirty Scheme interpereter.☆383Updated 7 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆86Updated 3 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆362Updated 4 years ago
- A native compiler for Scheme compliant with R6RS☆200Updated 7 years ago
- an incremental approach to compiler construction☆935Updated 5 years ago
- The Hindley Milner Type Inference Algorithm☆371Updated 8 years ago
- Ye Olde Computer Science Scrolls!☆104Updated 8 years ago
- ☆50Updated 12 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆505Updated 2 years ago
- An implementation of the SubC language in Go☆164Updated 8 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- a book about ocaml☆186Updated 8 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- Not because it is good, but because we can...☆167Updated 5 years ago
- A Python-like systems programming language☆84Updated 9 years ago
- ☆78Updated 7 years ago
- A simple stack-based virtual machine in C++ with a Forth like programming language☆167Updated 3 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Collection of various research papers I find interesting☆84Updated 9 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Updated 10 years ago
- Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.☆165Updated 9 years ago