xkey-

go-ncrlite

Compress sets of integers efficiently

shredos.x86_64

Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe

ensmallen

A header-only C++ library for numerical optimization --

optim

OptimLib: a lightweight C++ library of numerical optimization methods for nonlinear functions

HypOp

Hypergraph Neural Network-Based Combinatorial Optimization

PyDAS

A Python wrapper for the DASSL, DASPK, and DASKR differential algebraic system solvers

pyjuice

tangles

Tangle Software Library

LeanEuclid

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

etl

Embedded Template Library

sde_sampler

Improved sampling via learned diffusions (ICLR2024) and an optimal control perspective on diffusion-based generative modeling (TMLR2024)

penzai

A JAX research toolkit for building, editing, and visualizing neural networks.

AgentKit

An intuitive LLM prompting framework for multifunctional agents, by explicitly constructing a complex "thought process" from simple natural language prompts.

llm.c

LLM training in simple, raw C/CUDA

skglm

Fast and modular sklearn replacement for generalized linear models

libjxl

JPEG XL image format reference implementation

pgvecto.rs

Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.

valkey

A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

Rubi

Rubi for Mathematica

distrobox

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

GCD

Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594

oeisdata

Content of Online Encyclopedia of Integer Sequences (OEIS)

arkouda

Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale :bear:

crewAI

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

fipy

FiPy is a Finite Volume PDE solver written in Python

ml-engineering

Machine Learning Engineering Open Book

GaLore

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection

deepdistilling

Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms

DotNet-Developer-Roadmap

The comprehensive .NET Developer Roadmap by seniority level.