Stars
JDBC client for Basho's Riak TS database (https://docs.basho.com/riak/ts/), see https://github.com/cvitter/Riak-TS-JDBC-Driver/tree/master/riakts.jdbc.driver for documentation.
General purpose utilities for use with GWT JsInterop
The most cited deep learning papers
The repository for the code of the examples in the book Designing for Scalability with Erlang/OTP
Code samples for my book "Neural Networks and Deep Learning"
This project is no longer active. Please join us at
C++ examples for the Vulkan graphics API
SQL_Bridge: An abstraction layer for Erlang SQL databases (MySQL and PostgreSQL)
Enhancement proposals for the Jupyter Ecosystem
✨ Need some help or have some questions? Please visit our Discourse page.
The governance process and model for Project Jupyter
Fossil SCM (https://www.fossil-scm.org/) plugin for IntelliJ IDEA
An Elixir library for generating struct constructors that handle external data with ease.
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
An active essay revisiting Gabriel Groner's GRAIL handwriting recognizer from the 1960s:
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
A scalable global Process Registry and Process Group manager for Erlang and Elixir.
A concolic testing tool for the Erlang functional programming language.