Terminal RSS Reader for Digital Minimalists in Zig — Tool for Escaping the Doomscroll

DataOps Data Quality TestGen is part of DataKitchen's Open Source Data Observability. DataOps TestGen delivers simple, fast data quality test generation and execution by data profiling,  new datase…

From Zero to QED: An informal introduction to formality with Lean 4

Sample applications configs for Gramine

A way to quickly start developing Gramine applications, or package existing apps into Docker/OCI containers.

Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.

Gramine Shielded Containers (Docker integration)

A library OS for Linux multi-process applications, with Intel SGX support

A modern, Linux compatible OS kernel

Extra Pydantic types.

Common Expression Language for Java

Docs for GGUF quantization (unofficial)

The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search

Information hub for our project training the largest possible historical LLMs.

Smart AI model cascading for cost optimization

An open, technical and introductory book for the Zig programming language 📚📖

Datalog that's as easy as ABC.

Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…

An implementation of a deep learning recommendation model (DLRM)

In this project we will be building boolean query retrieval model using 20_newsgroups dataset

A better compressed bitset in Rust

Mr. TyDi is a multi-lingual benchmark dataset built on TyDi, covering eleven typologically diverse languages.

A carefully curated collection of high-quality libraries, projects, tutorials, research papers, and other essential resources focused on Structured State Space Models (SSMs), with a special emphasi…

Deep Learning how-to's using Lance file format

🧪 Default models for ⚗️ Instill Model

Official repository for BoolQuestions: Does Dense Retrieval Understand Boolean Logic in Language?

Functional programming utilities for Zig.

A category theory and functional programing library for Zig language