Skip to content
View tfoliva's full-sized avatar

Block or report tfoliva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Modern embedded framework, using Rust and async.

Rust 6,810 1,039 Updated May 22, 2025

Obsidian 🤝 Neovim

Lua 5,251 274 Updated May 12, 2025

Generate fake sextant readings, dead reckoning positions, etc. to practice sun sight reductions for celestial navigation.

Python 8 1 Updated Mar 7, 2016

The autonomous platform inertial dataset

70 5 Updated Jan 29, 2022

BLAS-like Library Instantiation Software Framework

C 2,444 380 Updated May 1, 2025

PLA (Portable Linear Algebra) is designed to be a portable, single header, MISRA compliant C, linear algebra library.

C++ 7 Updated Mar 16, 2018

This repo contains the code of the paper "Learned Inertial Odometry for Autonomous Drone Racing", RA-L 2023.

Python 227 36 Updated Sep 19, 2023

Example programs showing how to call LAPACK driver and computational routines (Fortran double precision)

Fortran 61 17 Updated Jan 30, 2018

Head tracking software for MS Windows, Linux, and Apple OSX

C++ 4,104 485 Updated May 18, 2025

Zofu is Object-oriented Fortran Unit-testing

Fortran 34 3 Updated Mar 18, 2021

Arduino library for AHRS (Attitude and Heading Reference System) for Adafruit motion sensors

C++ 232 67 Updated Mar 26, 2024

Code examples for my Write Better Python Code series on YouTube.

Python 1,213 354 Updated May 1, 2024

The simple testing framework

Fortran 94 26 Updated Sep 15, 2024

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Jupyter Notebook 17,848 4,340 Updated Aug 7, 2024

Multiple Object Tracker, Based on Hungarian algorithm + Kalman filter.

C++ 2,272 655 Updated May 13, 2025

SLICOT - A Fortran subroutines library for systems and control

Fortran 58 24 Updated May 6, 2025

Numerical optimization in pure Rust

Rust 1,115 90 Updated Apr 21, 2025

rust design patterns

Rust 1,401 110 Updated Jul 15, 2021

Linear algebra library for Rust.

Rust 4,321 509 Updated May 19, 2025

Haskell code prettifier

Haskell 1,009 152 Updated Apr 18, 2025

Continuous Inspection

Java 9,591 2,072 Updated May 22, 2025

A vim plugin to give you some slime. (Emacs)

Vim Script 1,960 232 Updated Apr 22, 2025

Timewarrior - Commandline Time Tracking and Reporting

C++ 1,367 100 Updated May 21, 2025

Tutorial on integrating C++ and Haskell

C++ 89 11 Updated Jun 17, 2020

A formatter for Haskell source code

Haskell 995 83 Updated May 12, 2025

arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror repository.

Kotlin 406 36 Updated Dec 13, 2024

🦊A highly customizable theme for vim and neovim with support for lsp, treesitter and a variety of plugins.

Lua 3,529 161 Updated Feb 9, 2025

✨ A (Neo)vim plugin for formatting code.

Vim Script 2,040 192 Updated May 3, 2025

The perfect sidekick to your scientific inquiries

Julia 860 91 Updated Dec 1, 2024
Next