Skip to content
View josarv's full-sized avatar
💭
I'm working on it
💭
I'm working on it

Highlights

  • Pro

Block or report josarv

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

OSS-Fuzz - continuous fuzzing for open source software.

Shell 11,751 2,562 Updated Dec 24, 2025

Spoofax runtime

Java 156 23 Updated Apr 28, 2025

A high performance gRPC server on top of Apache Lucene

Java 303 48 Updated Dec 22, 2025

Multi-threaded BLAS-like library that provides pure Julia matrix multiplication

Julia 249 18 Updated Dec 15, 2025

A Parser Combinator library for C

C 2,799 302 Updated Aug 10, 2025

A massively parallel, high-level programming language

Rust 19,123 470 Updated Jun 3, 2025

A collection of useful .gitattributes templates

Git Attributes 3,699 600 Updated Nov 24, 2025

Per project developer environments

Nix 1,449 92 Updated Nov 24, 2025

Pottery - A container and algorithm template library in C

C 129 6 Updated Apr 3, 2022

Jelly is a recreational programming language inspired by J.

Python 898 46 Updated Sep 2, 2020

Lisp macros for C

Common Lisp 896 33 Updated Feb 5, 2024

An APL-like programming language

BQN 1,022 66 Updated Dec 24, 2025

The C Template Library

C 1,357 118 Updated Nov 9, 2021

A lightweight LLVM python binding for writing JIT compilers

Python 2,189 349 Updated Dec 19, 2025

A cross-platform C and C++ unit testing framework for the 21st century

C 2,202 184 Updated Oct 14, 2025

A set of cmake modules to assist in building code

CMake 300 23 Updated Jul 21, 2021

Structured concurrency in C

C 1,911 165 Updated Apr 9, 2024

NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.

Nix 1,034 28 Updated Jun 27, 2025

Animated pipes terminal screensaver

Shell 2,880 79 Updated Aug 12, 2024

An R-Tree implementation

Python 37 19 Updated May 18, 2022

Programming Language Theory λΠ

CSS 5,327 343 Updated Dec 2, 2024

Master programming by recreating your favorite technologies from scratch.

Markdown 451,888 42,396 Updated Oct 10, 2025

The seL4 microkernel

C 5,226 729 Updated Dec 19, 2025

A book-in-progress about the Linux kernel and its insides.

Python 31,675 3,473 Updated Dec 15, 2025

A fast preprocessor for C and C++

D 534 45 Updated Sep 26, 2021

Research programming language for concurrent ownership

C++ 3,701 170 Updated Dec 15, 2025

lthread, a multicore enabled coroutine library written in C

C 820 84 Updated Jun 23, 2024

🔵 Learning Julia with ProjectEuler

Julia 3 Updated Feb 8, 2017

Project Euler with julia language

Julia 11 Updated Jan 12, 2015
Next