rudi-cilibrasi Goto Github PK

bs-complearn-ncd

complearn ncd in blockscript reasonml a version of ocaml

bs-node-zlib

binding for node version of zlib

bucklescript

A backend for the OCaml compiler which emits JavaScript.

cabinmaster

Simple game to learn HTML / JS with daughter

classic-complearn

The pre-2015 version of libcomplearn, a data-compression based machine learning library. Minor bugfixes for legacy code.

classic-libqsearch

The qsearch Quartet Tree Search library for use with classic-complearn

coq-docker

Dockerfiles with various versions of Coq

coronavirusapi

crawl-and-parse

hott3

HoTT in Lean 3

hottest-summer-school

HoTTEST Summer School materials

jen

Image processing, generative photography, cellular automata

ledger-dev-doc

Ledger developer documentation

libcomplearn

C language complearn library

libqsearch

C language quartet tree search library

libqsearch-clean

cleaner C++ port of libqsearch

mlir-www

mobash

mobash enables structured modular bash scripting using standard functions to improve Makefile CircleCI and Dockerfile

ncd-covid

Coronavirus (COVID) genetic analysis using Normalized Compression Distance (NCD)

ncd-covid-data

datasets for ncd-covid project and paper using data compressors to analyze covid-19 genetic sequences

patient-sass-fe

front end (dev only) and back-end for the pateint-saas project

powersoftau-attestations

reasonml-reloaded

Live reloading ReasonML React example project

schema-registry

Confluent Schema Registry for Kafka

widely-digitally-delicate-prime

Program to search for Widely Digitally Delicate Prime Number

zlibcomplete

C++ interface to the ZLib library supporting compression with FLUSH, decompression, and std::string. RAII