+
Skip to content
View taktoa's full-sized avatar
🤔
Confused about why this feature exists
🤔
Confused about why this feature exists

Highlights

  • Pro

Organizations

@NixOS @arcane-chat @rhodiumdb

Block or report taktoa

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!

C++ 6,300 364 Updated May 9, 2025

Open-source firmware for Ingenic SoC IP cameras

Shell 1,174 146 Updated Oct 20, 2025

Hackable Laser software for K40 / GRBL / Fibre Lasers

Python 331 81 Updated Oct 20, 2025
C 34 5 Updated Aug 6, 2025

Open-source RTL logic simulator with CUDA acceleration

Rust 222 20 Updated Sep 30, 2025

AC Servo Driver for STM32F4

C 932 425 Updated Aug 23, 2023

Rust crate that publishes XLSynth capabilities (wrapping libxlsynth.so/.dylib)

Rust 1 3 Updated Oct 19, 2025

Nix flake for openXC7

Nix 42 6 Updated Apr 3, 2025

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

Rust 1,311 21 Updated Oct 20, 2025
Haskell 4 Updated Sep 26, 2025

Veryl: A Modern Hardware Description Language

Rust 808 47 Updated Oct 20, 2025

My personal collection of Riemann solvers using MUSCL and WENO schemes written as short Matlab scripts

MATLAB 100 39 Updated Oct 14, 2018

Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)

C 220 24 Updated Feb 12, 2023

Patch Linux executables for compatibility with older glibc

C 394 15 Updated Oct 30, 2024

A project to digitalise results from physics into Lean.

Lean 366 45 Updated Oct 18, 2025

Technology file parser in Rust

Rust 13 2 Updated Apr 6, 2021
Python 2 Updated May 7, 2025

A Rust implementation of the Urn data structure for efficient random sampling

Rust 7 Updated Aug 9, 2025

OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.

Modelica 1,061 337 Updated Oct 20, 2025

OpenRadioss is a powerful, industry-proven finite element solver for dynamic event analysis

Fortran 727 347 Updated Oct 20, 2025

Copper is a user friendly and deterministic runtime for building production-ready robots.

Rust 909 57 Updated Oct 20, 2025

Make a cascading timeline from markdown-like text. Supports simple American/European date styles, ISO8601, images, links, locations, and more.

HTML 4,698 152 Updated Dec 11, 2023

SeekStorm - sub-millisecond full-text search library & multi-tenancy server in Rust

Rust 1,746 58 Updated Oct 14, 2025

Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.

Svelte 5,069 185 Updated Mar 17, 2025

A minimal, self-contained example demonstrating best practices for Vulkan development in a single file—no frameworks required.

C++ 304 8 Updated Oct 1, 2025

a tool for reinterpreting ELF executables and shared libraries

Rust 330 10 Updated Nov 12, 2024

Multi-Threaded FP32 Matrix Multiplication on x86 CPUs

C 364 25 Updated Apr 21, 2025

first base model for full-duplex conversational audio

Python 1,766 112 Updated Jan 5, 2025

Retrieval-based Voice Conversion as an OBS plugin

Rust 99 15 Updated May 24, 2024

Empowering everyone to host fast and efficient Minecraft servers.

Rust 5,736 330 Updated Oct 15, 2025
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载