OnSpeed Gen2 - AOA aural indicator for flying "On Speed" with onboard sensors

A FlyWithLua script that provides extended G1000 functionality for the Honeycomb Bravo.

Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd

Create, manipulate and convert representations of position and orientation in 2D or 3D using Python

Python tools to perform time-synchronization and hand-eye calibration.

Continual SLAM: Beyond Lifelong Simultaneous Localization and Mapping through Continual Learning. http://continual-slam.cs.uni-freiburg.de

Controlled text generation with programmable constraints

Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…

A library for working with WCFGs, WFSAs and WFSTs.

High-performance backend for language model probabilistic programs

Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.

a Python library for creating interactive, JavaScript-based visualizations.

☁️ Choose the optimal Google Compute Engine machine type or instance in the many Google Cloud Platform regions

A lightweight 3D graphics rendering engine in Clojure & ClojureScript.

Animation engine for explanatory math videos

Dockerfiles for MIT-Scheme and Mechanics.

A modern computer algebra library for Python and Rust.

A JAX research toolkit for building, editing, and visualizing neural networks.

Running the code you want to write as fast as the code you have to write

The Emmy Computer Algebra System.

Probabilistic programming with programmable inference for parallel accelerators.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Verify that all reachable code links and will not fail at runtime with a linkage error

Home for all your GPS Tracks: Visualize, share and manage your GPS tracks.