aprell Goto Github PK

aprell.github.io

benchmark

Tools for benchmarking parallel programs

binomial-forest

A binomial forest data structure

compiler-adventures

Compiler adventures

compiler-potpourri

Tools for a compilers course

compilerjobs

A listing of compiler, language and runtime teams for people looking for jobs in this area

concrete-semantics

Andreas reads Concrete Semantics without Isabelle/HOL

haskell-notes

Haskell Notes

kernel-kitchen

Prepare and cook compute kernels without heating up the GPU

libhandler

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

linux-intro-rarn

Linux-Einführung im Rahmen der Vorlesung "Rechnerarchitektur und Rechnernetze", Universität Bayreuth

little-schemer

Programs from "The Little Schemer", in Racket

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

mic-intro

Sample programs for systems that include Intel Xeon Phi coprocessors

miniml

A minimal applicative programming language

ppla-haskell

A brief introduction to functional programming in Haskell

practical-python

Practical Python Programming (course by @dabeaz)

pure-linux-threads-demo

Pthreads-free Linux threading demo

rcce

rusty-tasking

Task parallelism in Rust

simplelanguage

A simple example language built using the Truffle API.

some-ats

Playing with ATS

spill

A tiny stack-based programming language

tasking-2.0

Tasking 2.0

terra-examples

Example Terra programs

terra-tasking

Task parallelism in Terra

tiny.lua

A toy programming language written in Lua

tora-scheme

Only a tiny Scheme in the grand Scheme of things

write-markdown

Markdown → PDF