batterseapower Goto Github PK

lattices

Fine-grained lattice primitives for Haskell

libcharsetdetect

A dependency-free C interface to the Mozilla Universal Character Set Detector

libpostal

A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.

llvm

Haskell bindings to the LLVM compiler infrastructure project.

llvmlite

A lightweight LLVM python binding for writing JIT compilers

lmdb

Lightning Memory-Mapped Database (liblmdb) as a jar distribution available in Maven Central.

lmdb-bloomberg-loader

A playground where I try to implement a simple database directly on top of the LMDB key-value store

lmdbjni

A Java Native Interface to the Lightning Memory-Mapped Database (liblmdb)

machine-learning

Machine learning library for Haskell

mapdb

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

mdbi

Max's DataBase Interface: a simple but powerful JDBC wrapper inspired by JDBI

mineserver

Custom Minecraft Alpha server software written in C++ for Windows and Linux

mini-ghc

Small implementation of a Haskell-like language for experimentation purposes

numba

NumPy aware dynamic Python compiler using LLVM

numpy

The fundamental package for scientific computing with Python.

openshake

An open source reimplementation of Neil Mitchell's Shake build system

outside-in

Implementation of Outside-In(Type equalities + type families + type classes)

pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

pandoc

Universal markup converter

pandoc-types

types for representing structured documents

parallel-io

Haskell combinators for executing IO actions in parallel on a thread pool

paratext

A library for reading text files over multiple cores.

pegs

Program Expression Graphs for Equality Saturation

personal-gitit

Configuration for personal gitit wiki

pinyin-toolkit

A plugin for the Anki Spaced Repetition System (http://ichi2.net/anki/)

prefix-search

Very simple prefix-search web application for a more usable Firefox search bar

pretty

productive-compiler

A compiler that is not strict in the term it is compiling. Uses JIT compilation via LLVM

proton.contracts

py4j

Py4J enables Python programs to dynamically access arbitrary Java objects