- San Francisco
- danielmiller.io
Stars
High-performance event store for Dynamic Consistency Boundaries
Language mixing functional programming and Ambient Calculus
Safe, portable, high performance compute (GPGPU) kernels.
Axum middleware to use Accept and Content-Type headers to serialize with different formats
A compiler for the 🎃 Spooky 😱 programming language 👻
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
ATS2: Unleashing the Potentials of Types and Templates
Papers from the computer science community to read and discuss.
A strongly-typed language that compiles to JavaScript
Faster and leaner Backbone for your HTML5 apps
The Mercury logic programming system.
The open-source database for the realtime web.
A monadic LL(infinity) parser combinator library for javascript
Serious functional programming library for JavaScript.
A tutorial for using the modern shader pipeline of OpenGL with SDL 2 in Haskell
Expressive middleware for node.js using ES2017 async functions