frjnn

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

protobuf

Protocol Buffers - Google's data interchange format

grok-1

Grok open release

julia

The Julia Programming Language

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

dragonfly

A modern replacement for Redis and Memcached

llama3

The official Meta Llama 3 GitHub site

jdk

JDK main-line development https://openjdk.org/projects/jdk

Bend

A massively parallel, high-level programming language

pulsar

Apache Pulsar - distributed pub-sub messaging system

pykan

Kolmogorov Arnold Networks

ZLUDA

CUDA on AMD GPUs

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

llama-fs

A self-organizing file system with llama 3

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

ml-mgie

c-style

My favorite C programming practices.

Daft

Distributed DataFrame for Python designed for the cloud, powered by Rust

nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

luminal

Deep learning at the speed of light.

sp1

A performant, 100% open-source, contributor-friendly zkVM.

async-stream

Asynchronous streams for Rust using async & await notation

scs

Splitting Conic Solver

ecos

A lightweight conic solver for second-order cone programming.

rustc-hash

Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure

Clarabel.rs

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

airmail

Lightweight geocoder in pure Rust

bsuccinct-rs

Rust libraries and programs focused on succinct data structures

soa-rs

An SoA library for Rust

happylock

Deadlock free mutexes