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

A purely functional programming language with first class types

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

r2d2 but async

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

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

The Iowa Agda Library

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

Simple, elegant, Pythonic functional programming.

Big integer types for Rust

Generic Rational numbers for Rust

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

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

Extensions for BrainIAK such as for Topological Data Analysis.

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 …

Stick Breaking Process applied to Resnet

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

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

Brain Imaging Analysis Kit

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

GraphMat graph analytics framework

analytics tool kit

Generic programming for Scala

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

Data Processing Engine

Scientific Transparency

A Dependently Typed Functional Programming Language