Alex Mikhalev (amikhalev)

amikhalev

Geek Repo

Company:UCLA CS — @corvus-robotics

Location:Bay Area

Home Page:https://amikhalev.com

Github PK Tool:Github PK Tool

Alex Mikhalev's starred repositories

USB-WiFi

USB WiFi Adapter Information for Linux

Stargazers:2467Issues:0Issues:0

ohm

An efficient, extensible occupancy map supporting probabilistic occupancy, normal distribution transforms in CPU and GPU.

Language:C++License:NOASSERTIONStargazers:176Issues:0Issues:0

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:16358Issues:0Issues:0

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Language:CLicense:Apache-2.0Stargazers:10221Issues:0Issues:0

AVR-Guidance

A guide to best practices when using the Arduino IDE to program AVR microcontrollers

Language:C++Stargazers:143Issues:0Issues:0

bpftrace

High-level tracing language for Linux eBPF

Language:C++License:Apache-2.0Stargazers:8295Issues:0Issues:0

Ventoy

A new bootable USB solution.

Language:CLicense:GPL-3.0Stargazers:60763Issues:0Issues:0

hotspot

The Linux perf GUI for performance analysis.

Language:C++Stargazers:3995Issues:0Issues:0

renovate

Renovate is a CLI tool to help you to work on Postgres SQL migration easily.

Language:RustLicense:MITStargazers:82Issues:0Issues:0

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Language:RustLicense:NOASSERTIONStargazers:28335Issues:0Issues:0

rerun

Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.

Language:RustLicense:Apache-2.0Stargazers:5869Issues:0Issues:0

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

Language:PythonLicense:BSD-3-ClauseStargazers:9160Issues:0Issues:0

zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

Language:RustLicense:NOASSERTIONStargazers:1373Issues:0Issues:0

p37-ec-aero-14

Fan control for Gigabyte Aero 14kV8 on Linux

Language:ShellLicense:MITStargazers:3Issues:0Issues:0

aero15x-fand

Fan controller and systemd daemon for a Gigabyte Aero15x.

Language:C++License:GPL-3.0Stargazers:3Issues:0Issues:0

symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

Language:C++License:Apache-2.0Stargazers:1394Issues:0Issues:0

ipopt-rs

Rust bindings for the Ipopt non-linear constrained optimization library.

Language:RustLicense:Apache-2.0Stargazers:17Issues:0Issues:0

timescaledb

An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.

Language:CLicense:NOASSERTIONStargazers:16965Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:889Issues:0Issues:0

config

The one and only perfect configuration for Vim, Zsh, Bash, Git, etc.

Language:ShellStargazers:38Issues:0Issues:0

spot

Native Spotify client for the GNOME desktop

Language:RustLicense:MITStargazers:2253Issues:0Issues:0

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Language:CLicense:NOASSERTIONStargazers:3874Issues:0Issues:0

mold

Mold: A Modern Linker 🦠

Language:C++License:MITStargazers:13849Issues:0Issues:0

Vitals

A glimpse into your computer's temperature, voltage, fan speed, memory usage and CPU load.

Language:JavaScriptLicense:GPL-2.0Stargazers:1363Issues:0Issues:0

innernet

A private network system that uses WireGuard under the hood.

Language:RustLicense:MITStargazers:4896Issues:0Issues:0

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustLicense:MPL-2.0Stargazers:2911Issues:0Issues:0

actix-web

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Language:RustLicense:Apache-2.0Stargazers:20905Issues:0Issues:0

headscale

An open source, self-hosted implementation of the Tailscale control server

Language:GoLicense:BSD-3-ClauseStargazers:21313Issues:0Issues:0

awesome-local-global-descriptor

My personal note about local and global descriptor

Stargazers:640Issues:0Issues:0

hickory-dns

A Rust based DNS client, server, and resolver

Language:RustLicense:NOASSERTIONStargazers:3864Issues:0Issues:0