8000 non-descriptive (Dmitry Kozlovtsev) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View non-descriptive's full-sized avatar
🐈
catassen
🐈
catassen

Block or report non-descriptive

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

Satty - Modern Screenshot Annotation.

Rust 1,096 40 Updated Jun 18, 2025

kb single-header C/C++ libraries

C 445 4 Updated Jun 27, 2025

🪐 Markdown with superpowers — from ideas to presentations, articles and books.

Kotlin 7,822 154 Updated Jun 27, 2025

A secure, standard-conformant, easy to use JWT implementation for Rust.

Rust 255 61 Updated May 13, 2025

SIMD-optimized B+ Tree implementation that uses integer keys

Rust 48 Updated Jun 13, 2025

RobustMQ is a next-generation, high-performance, cloud-native, converged message queue that is compatible with multiple mainstream message queuing protocols and has complete Serveless capabilities.

Rust 856 142 Updated Jun 27, 2025

A simple AVDB constraint-based dynamics solver implementation using LegitVulkan

C++ 31 1 Updated Jun 22, 2025

A Linux version of the Procmon Sysinternals tool

C 4,187 273 Updated Mar 21, 2025

MOVED TO CODEBERG - Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript

2,082 230 Updated Jun 19, 2025

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

OCaml 100 5 Updated Jun 20, 2025

A Proof-oriented Programming Language

F* 2,860 239 Updated Jun 25, 2025

Making it easier to work with shaders

C++ 4,178 316 Updated Jun 27, 2025

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

C++ 3,370 290 Updated May 9, 2025

Generate LoFi music on the go, offline and locally.

Svelte 308 35 Updated Jun 13, 2025

A simple symbolic math package for Common Lisp

Common Lisp 8 Updated Feb 22, 2025

Linux running inside a PDF file via a RISC-V emulator

C 3,905 148 Updated Feb 2, 2025

A small embeddable scripting language

Rust 25 2 Updated May 30, 2022

Low(est?)-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the h…

C++ 82 10 Updated Jun 20, 2025

Safe and performant YARA rules evaluator in Rust

Rust 65 3 Updated Jun 1, 2025

Secure by Design, Extendable and Speedy Next Gen CMS

TypeScript 52 2 Updated Jun 26, 2025

An experimental modern general-purpose microkernel OS.

Rust 339 8 Updated Jun 25, 2025

We all edit.

Rust 10,868 467 Updated Jun 25, 2025
Rust 392 41 Updated Jun 27, 2025

Systems language with linear types and capability-based security.

OCaml 1,352 47 Updated May 12, 2025

A (micro)blogging server that you can self-host

Rust 176 5 Updated Jun 18, 2025

Lightweight multi-platform code editor designed for modern hardware with a focus on responsiveness and performance.

Lua 1,067 16 Updated Jun 7, 2025

"Ü" programming language development

C++ 60 3 Updated Jun 27, 2025

Command-line sampling profiler for macOS, Linux, and Windows

Rust 3,157 69 Updated Jun 23, 2025

CROWD - Delta based CRDT with additional abilities.

TypeScript 100 3 Updated Jan 6, 2025

🐚bash/POSIX-compatible shell implemented in Rust 🦀

Rust 901 25 Updated Jun 27, 2025
Next
0