ocramz

Marco Z's starred repositories

meilisearch

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

Language:RustMIT45591 285 1915

jan

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)

Language:TypeScriptAGPL-3.021192 129 1545

oauth2-proxy

A reverse proxy that provides authentication with Google, Azure, OpenID Connect and many more identity providers.

Language:GoMIT9127 85 1586

VoiceCraft

Zero-Shot Speech Editing and Text-to-Speech in the Wild

Language:Jupyter NotebookNOASSERTION7276 88 113

DALI

A GPU-accelerated library containing highly optimized building blocks and an execution engine for data processing to accelerate deep learning training and inference applications.

Language:C++Apache-2.05020 93 1578

bubblewrap

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Language:CNOASSERTION3785 55 312

finch

The Finch CLI is an open source client for container development

Language:GoApache-2.03484 27 205

kanidm

Kanidm: A simple, secure and fast identity management platform

Language:RustMPL-2.02488 22 808

fx

A Function as a Service tool makes a function as a container-based service in seconds.

Language:GoMIT2131 31 158

nvidia-container-toolkit

Build and run containers leveraging NVIDIA GPUs

Language:GoApache-2.02011 26 400

autodistill

Images to inference with no labeling (use foundation models to train supervised models).

Language:PythonApache-2.01731 19 93

RFdiffusion

Code for running RFdiffusion

Language:PythonNOASSERTION1587 39 180

lapdev

Self-Hosted Remote Dev Environment

Language:RustNOASSERTION1438 7 3

kueue

Kubernetes-native Job Queueing

Language:GoApache-2.01278 16 725

neco

Concurrency library for C (coroutines)

Language:CMIT1077 15 16

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLA799 1060

reverie

An ergonomic and safe syscall interception framework for Linux.

Language:RustNOASSERTION544 17 5

LLMDebugger

LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step

Language:PythonApache-2.0306 6 9

adsb.exposed

Interactive visualization and analytics on ADS-B data with ClickHouse

Language:HTMLNOASSERTION217 4 21

xr0

The Xr0 Verifier for C

Language:CApache-2.0171 3 63

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTML158 3 10

space

Unified storage framework for the entire machine learning lifecycle

Language:PythonApache-2.0144 9 3

codefuse

Index of the CodeFuse Repositories

Language:Python128 6 12

mig

Lightweight and composable servers for Haskell

Language:HaskellNOASSERTION70 3 18

termlisp

A lisp dialect based on pattern matching and term rewriting

Language:JavaScriptMIT39 40

lsm-tree

A Haskell library for on-disk tables based on LSM-trees

Language:HaskellApache-2.022 11 29

automata

generate synthetic data for training finite state machines/pushdown automata/turing machines

Language:Haskell16 20

parquet-haskell

WIP Parquet parsing libraries for Haskell.

Language:Haskell5 20

llmsbook

Exploring LLMs and their foundations

Language:Handlebars2 10

nomad-driver-buildah

Using nomad to schedule jobs that run CI jobs, leveraging buildah-as-a-library

Language:GoMPL-2.01 2 5