Selected Papers of Dana S. Scott

A JavaScript library for text annotation.

A performant virtual scrolling list utility capable of rendering millions of rows

High Performance data structures and utility methods for Java

🚀 Dojo 2 - widget authoring system.

High Performance data structures and utility methods for Java

Distributed, Versioned, Image-oriented Dataservice

Generalized, incremental parser combinators for scalaz-stream

The DB that's replicated, sharded and transactional.

Bootstrap-themed jquery tag interface

Roshi is a large-scale CRDT set implementation for timestamped events.

A parser combinator library based on the GLL algorithm

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Generic programming for Scala

A macro-based PEG parser generator for Scala 2.10+

Fast Parser Combinators

Accelerated JavaScript animation.

Native pattern matching for JavaScript

"Hit and Run" sampler

Node.js binding for lmdb

Constructor of incremental parsers in Scala

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Micro second messaging that stores everything to disk

Java Indexed Record Chronicle

Solr client based on Akka and Spray

A total functional language embedded in Scala using macros.

Fast, customizable, boilerplate-free pickling support for Scala

Tools to work with off-heap memory using sun.misc.Unsafe