xoltar Goto Github PK

airsim

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

asciidoc-plantuml

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

atk

analytics tool kit

bb8

r2d2 but async

benchmarking_platform

brainiak

Brain Imaging Analysis Kit

brainiak-extras

Extensions for BrainIAK such as for Topological Data Analysis.

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

dotty

Research platform for new language concepts and compiler technologies for Scala.

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).

idris-tutorial

A tutorial to the Idris Programming Language.

idris2

A purely functional programming language with first class types

incubator-spark

Mirror of Apache Spark

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

phat

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

python-flamegraph

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

rivet

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

sb_resnet

Stick Breaking Process applied to Resnet

scitran

Scientific Transparency

shapeless

Generic programming for Scala