gregbuehler/gist:22c83dca8277b68ff2b5

Forked from jamii/gist:8957881c8eaa4035f4ae

Last active August 29, 2015 14:27

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/gregbuehler/22c83dca8277b68ff2b5.js"></script>
Save gregbuehler/22c83dca8277b68ff2b5 to your computer and use it in GitHub Desktop.

Download ZIP

Inspirations for Eve

Raw

gistfile1.md

Specification

Out Of The Tarpit

BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud

Dedalus: Datalog in Time and Space

Logic and Lattices for Distributed Programming

Performance

OctopusDB: Towards a One Size Fits All Database Architecture

Lightweight Modular Staging and Embedded Compilers: Abstraction Without Regret for High-Level High-Performance Programming

Edelweiss: Automatic Storage Reclamation for Distributed Programming

OLTP Through the Looking Glass

Evita Raced: Metacompilation for Declarative Networks

Understanding

Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior

Database Queries that Explain their Work

Personifying Programming Tool Feedback Improves Novice Programmers Learning

Correctness

BloomUnit: Declarative Testing for Distributed Programs

Opis: Reliable Distributed Systems in OCaml

UI

Compiling Mockups to Flexible UI

Constraint Solvers for User Interface Layout

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment