Skip to content
View oneofvalts's full-sized avatar

Highlights

  • Pro

Block or report oneofvalts

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

Header-only C++/python library for fast approximate nearest neighbors

C++ 5,152 806 Updated Mar 28, 2026

Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous progra…

C++ 1,815 211 Updated Apr 2, 2026

SYCL Academy, a set of learning materials for SYCL heterogeneous programming

HTML 526 117 Updated Feb 13, 2026

A C++ GPU Computing Library for OpenCL

C++ 1,652 340 Updated Mar 11, 2026

ArrayFire: a general purpose GPU library.

C++ 4,877 549 Updated Mar 7, 2026

A programming language in Turkish where grammatical case and mood are part of the type system.

Haskell 864 19 Updated Mar 22, 2026

Commit Mono is an anonymous and neutral programming typeface.

JavaScript 1,993 27 Updated Sep 24, 2025

The Superior Lisp Interaction Mode for Emacs

Common Lisp 2,041 353 Updated Mar 29, 2026

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

Common Lisp 2,080 348 Updated Apr 2, 2026

FLAME GPU 2 is a GPU accelerated agent based modelling framework for CUDA C++ and Python

Cuda 146 23 Updated Apr 2, 2026

mirror of Fabrice Bellard's libbf tar releases, with fixes and CI

C 16 5 Updated Aug 19, 2025

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Agda 427 93 Updated Apr 2, 2026

HarfBuzz text shaping engine

C++ 5,483 725 Updated Apr 2, 2026

The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding.

C++ 308 83 Updated Mar 31, 2026

CHomP -- Computation Homology Project software

C++ 51 13 Updated Feb 24, 2024
C 1 Updated Nov 14, 2025

Lightweight, modular, and extensible library for functional programming.

Scala 5,434 1,240 Updated Mar 25, 2026

A simple and easy-to-use library to enjoy videogames programming

C 31,857 3,000 Updated Apr 1, 2026

3D fluid simulation experiments in Rust, using WebGPU-rs (WIP)

Rust 478 16 Updated Dec 17, 2022

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 78,340 7,641 Updated Apr 2, 2026

Fullstack app framework for web, desktop, and mobile.

Rust 35,508 1,608 Updated Mar 31, 2026

Free and Open Source Reverse Engineering Platform powered by rizin

C++ 18,612 1,349 Updated Apr 1, 2026

Lean LSP support for Acme editor

Go 1 Updated Oct 7, 2025

A collaborative environment for formal, interoperable, conceptual modeling

Rust 154 48 Updated Apr 2, 2026

symbolic execution engine for Rust

Rust 360 8 Updated Jul 17, 2018

An interpreter for Rust's mid-level intermediate representation

Rust 6,001 465 Updated Apr 1, 2026

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

OCaml 289 38 Updated Apr 1, 2026

The Z3 Theorem Prover

C++ 12,117 1,631 Updated Apr 2, 2026

Automata theory in Lean

Lean 18 1 Updated Mar 25, 2026

Haskell implementation of open games

Haskell 184 31 Updated Jan 31, 2025
Next