Skip to content
View dacozai's full-sized avatar
🦁
🦁

Block or report dacozai

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
Showing results

Advanced configuration options for sockets.

Rust 734 250 Updated May 1, 2025

Staging repo for development of native port of TypeScript

Go 19,848 611 Updated May 22, 2025

A new type of shell

Rust 35,177 1,830 Updated May 23, 2025

Pluggable critical section

Rust 137 20 Updated Dec 3, 2024

Zero-copy deserialization framework for Rust

Rust 3,262 184 Updated Apr 28, 2025

Hierarchical state machines for designing event-driven systems

Rust 662 29 Updated May 21, 2025

Hypothesis-like property testing for Rust

Rust 1,875 183 Updated May 12, 2025

Automated property based testing for Rust (with shrinking).

Rust 2,574 156 Updated May 5, 2025

Rust async HTTP client for embedded/no_std

Rust 172 24 Updated Mar 25, 2025

A no_std + serde compatible message library for Rust

Rust 1,094 103 Updated Apr 15, 2025

Rust debugger for Linux x86-64

Rust 1,090 24 Updated May 18, 2025

A rate-limiting library for Rust (f.k.a. ratelimit_meter)

Rust 718 55 Updated May 19, 2025

Apache OpenDAL: One Layer, All Storage.

Rust 4,125 591 Updated May 23, 2025

Open Data, more than 50 financial data. 提供超過 50 個金融資料(台股為主),每天更新 https://finmind.github.io/

Jupyter Notebook 2,203 347 Updated May 10, 2025

User documentation for Knative components.

JavaScript 4,737 1,254 Updated May 19, 2025

A fancy self-hosted monitoring tool

JavaScript 69,783 6,133 Updated May 22, 2025

Server-sent events (SSE) client implementation for Rust

Rust 86 27 Updated Mar 27, 2025

Lcapy is a Python package for symbolic linear circuit analysis and signal processing. It uses SymPy for symbolic mathematics.

Python 264 49 Updated Mar 30, 2025

An equivalent circuit model (ECM) for a battery cell, module, and pack

Python 108 36 Updated Aug 3, 2023

Python Kalman filtering and optimal estimation library. Implements Kalman filter, particle filter, Extended Kalman filter, Unscented Kalman filter, g-h (alpha-beta), least squares, H Infinity, smoo…

Python 3,577 652 Updated Feb 7, 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

A system-level, binary package and environment manager running on all major operating systems and platforms.

Python 6,906 1,802 Updated May 22, 2025

Always know what to expect from your data.

Python 10,400 1,584 Updated May 22, 2025

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

Go 28,623 1,540 Updated May 22, 2025

Extensions for the Zed editor

JavaScript 1,086 615 Updated May 22, 2025

Learn Rust by writing Entirely Too Many linked lists

Rust 3,376 294 Updated Jul 30, 2024

The official (but not yet stable) formatter for Nix code

Haskell 1,147 56 Updated May 13, 2025

Struct mocking library for Rust

Rust 463 17 Updated Dec 18, 2024

Rust friendly bindings to *nix APIs

Rust 2,824 689 Updated May 4, 2025

Typst extension for zed

Rust 65 7 Updated Mar 28, 2025
Next