juanbono/gist:8e9098a7bfcfbb0b37987a73ad0f60f8

Forked from jamii/gist:8957881c8eaa4035f4ae

Created May 18, 2016 01:10

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

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/juanbono/8e9098a7bfcfbb0b37987a73ad0f60f8.js"></script>
Save juanbono/8e9098a7bfcfbb0b37987a73ad0f60f8 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