Bryn Keller's repositories
lojban.io
A free and opensource platform for studying the artificial language Lojban.
Idris2
A purely functional programming language with first class types
rivet
RIVET is a tool for Topological Data Analysis, in particular the interactive visualization of two-parameter persistent homology.
bb8
r2d2 but async
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
ial
The Iowa Agda Library
idris-py
Python backend for Idris (generates Python source, not bytecode).
coconut
Simple, elegant, Pythonic functional programming.
num-bigint
Big integer types for Rust
num-rational
Generic Rational numbers for Rust
ndarray
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
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.
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.
sb_resnet
Stick Breaking Process applied to Resnet
python-flamegraph
Statistical profiler which outputs in format suitable for FlameGraph (http://www.brendangregg.com/flamegraphs.html)
typecheck-decorator
For Python3, e.g. @typecheck add_count(count: int, when: any(datetime, timedelta) = datetime.now)
brainiak
Brain Imaging Analysis Kit
dipha
Automatically exported from code.google.com/p/dipha
GraphMat
GraphMat graph analytics framework
atk
analytics tool kit
shapeless
Generic programming for Scala
asciidoc-plantuml
Automatically exported from code.google.com/p/asciidoc-plantuml
engine
Data Processing Engine
scitran
Scientific Transparency
Idris-dev
A Dependently Typed Functional Programming Language