Trying to build a PostgreSQL-compatible relational database implemented in Rust with comprehensive ACID compliance, featuring a complete SQL engine with DDL/DML support, MVCC-based concurrency cont…

🐺 The high-performance, type-safe and modern TypeScript web framework written in Rust.

Pure Rust multi-line text handling

perfect programming language

KeY Theorem Prover for Deductive Java Verification

Lokus - A modern, intuitive note-taking application with powerful editing capabilities

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Rust bindings for the Python interpreter

Running TCP/IP over SWD lines

Scripts to setup a Raspberry Pi with Suricata installed

Official git repo for iodine dns tunnel

Repository of yara rules

Directory/File, DNS and VHost busting tool written in Go

🪼 a python library for doing approximate and phonetic matching of strings.

Open Source Continuous File Synchronization

Prometheus instrumentation library for JVM applications

Java client for Kubernetes & OpenShift

Official Java client library for kubernetes

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Training YOLOv9 for face detection on the WIDER Face dataset

Face related datasets

C bindings to the Linux Power Capping Framework in sysfs

RAPL power capping C interface with multiple implementations

💻 Desktop sync client for Nextcloud

Structured data processing in Kotlin

An experimental Kotlin Multiplatform, Compose Multiplatform, GameBoy Emulator.

DropNeuron: Simplifying the Structure of Deep Neural Networks

Short, concise yet complete implementations of various Yolo models in the style of Tinygrad, but in pure Pytorch.

A very basic app that shows off Mito for Streamlit.