Starred repositories
Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.
A linear programming solver based on the Simplex algorithm for Rust🦀
An optimization modeling language with solvers for MILP problems
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Production-ready, stable Kafka client for PHP
🦭 Distributed log streaming engine built from first principles
Use Kafka Producers and Consumers in your laravel app with ease!
Rust-native Kafka/Redpanda protocol and client implementation.
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
Cloud replacement for vacuum robots enabling local-only operation
Setup Debian12 or Ubuntu22 to install the kubernetes version of your choice
Ghidra is a software reverse engineering (SRE) framework
A brain-computer interface project focused on EEG signal processing and neural representation learning
Magical Deterministic Simulator for distributed systems in Rust.
Build AI-native spreadsheets. Univer is a full-stack framework for creating and editing spreadsheets on both web and server. With Univer Platform, Univer Spreadsheets is driven directly through nat…
Language Server integration for CodeMirror 6
0xFORK / iso27000toolkit
Forked from D4RK-PHOENIX/iso27000toolkitISO 27001 certification requires organizations to prove their compliance with the Standard with appropriate documentation, which can run to thousands of pages for more complex businesses. But with …
Open World 3D Game Engine for the PicoSystem & RP2040 Microcontroller
Turso is an in-process SQL database, compatible with SQLite.
🚂 🦀 The one-person framework for Rust for side-projects and startups
The financial transactions database designed for mission critical safety and performance.
LU factorization with dynamic Markowitz search and columnwise threshold pivoting
Implement OpenID Connect inside Laravel