Variational Fisheye Stereo

Variational Fisheye Stereo (VFS-Python)

RAI: Rust ML framework with composable transformations like JAX.

aider is AI pair programming in your terminal

NixOS module for NVIDIA Jetson devices

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

Compile PureScript into Haskell.

Region-based Object Tracking

Dependent type checker using normalisation by evaluation

"Joint Detection and Classification of Singing Voice Melody Using Convolutional Recurrent Neural Networks"

CREPE: A Convolutional REpresentation for Pitch Estimation -- pre-trained model (ICASSP 2018)

Optimize floating-point expressions for accuracy

Immediate Mode Plotting

A new voxel layer leveraging modern 3D graphics tools to modernize navigation environmental representations

Pyramid Stereo Matching Network (CVPR2018)

Modified Cholesky factorization

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

LaMa - A Localization and Mapping library

Index repo for Kimera code

High-performance interior-point-method QP and QCQP solvers

X Inertial-aided Visual Odometry

Extremely generic linear algebra libary for Rust

Functional programming with fewer indirections

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Icons for the OAM project

Customizations to JOSM for the OAM project