Discover pretrained models for deep learning in MATLAB

Aardvark.Base is the foundation of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization.

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)

Adapton Lab, written in Rust.

Arrows are a method for async composition in JavaScript.

Core calculus for IC-Edit, our Incremental Computation-based Editor.

Feature-rich text editor written simply, running efficiently with incremental computation by Adapton

Adapton Project Homepage

Rust bindings for LMDB

The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.

User mode file system library for windows with FUSE Wrapper

A pure Rust implementation of BLAKE2 based on RFC 7693.

Experimental Servo browser built in HTML

Like NW.js and node-webkit but with Gecko using XUL Runner

Type-driven code generation for OCaml

The Art of the Propagator. See also:

An incremental IMP interpreter, built using Adapton.

A library for incremental computations

(Nominal) Adapton in OCaml

Modern transactional key-value/row storage library.

Haskell Adapton Library

Rust library for filesystems in userspace (FUSE)

A minimalistic and high-performance SAT solver

Simple Theorem Prover.

Simple Theorem Prover, an efficient SMT solver for bitvectors

A benchmarking library. As used on jsPerf.com.

A small, fast, JavaScript-based JavaScript parser

A JavaScript code analyzer for deep, cross-editor language support