xoltar

phat

Persistent Homology Algorithm Toolbox (copy of bitbucket fork, for visibility)

xoltar.org

Website

AirSim

Open source simulator based on Unreal Engine for autonomous vehicles from Microsoft AI & Research

brainiak-extras

Extensions for BrainIAK such as for Topological Data Analysis.

rivet

RIVET is a tool for Topological Data Analysis, in particular the interactive visualization of two-parameter persistent homology.

shapeless

Generic programming for Scala

asciidoc-plantuml

Automatically exported from code.google.com/p/asciidoc-plantuml

atk

analytics tool kit

bb8

r2d2 but async

brainiak

Brain Imaging Analysis Kit

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

coconut

Simple, elegant, Pythonic functional programming.

dipha

Automatically exported from code.google.com/p/dipha

engine

Data Processing Engine

GraphMat

GraphMat graph analytics framework

ial

The Iowa Agda Library

Idris-dev

A Dependently Typed Functional Programming Language

idris-py

Python backend for Idris (generates Python source, not bytecode).

Idris2

A purely functional programming language with first class types

Lantern

lojban.io

A free and opensource platform for studying the artificial language Lojban.

ndarray

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

num-bigint

Big integer types for Rust

num-rational

Generic Rational numbers for Rust

python-flamegraph

Statistical profiler which outputs in format suitable for FlameGraph (http://www.brendangregg.com/flamegraphs.html)

sb_resnet

Stick Breaking Process applied to Resnet

scitran

Scientific Transparency

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Theano

Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.

typecheck-decorator

For Python3, e.g. @typecheck add_count(count: int, when: any(datetime, timedelta) = datetime.now)