vsmetansky

openai-cookbook

Examples and guides for using the OpenAI API

faiss

A library for efficient similarity search and clustering of dense vectors.

dask

Parallel computing with task scheduling

z3

The Z3 Theorem Prover

nmap

Nmap - the Network Mapper. Github mirror of official SVN repository.

hypothesis

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

aws-sam-cli

CLI tool to build, test, debug, and deploy Serverless applications using AWS SAM

unison

A friendly programming language from the future

try

Inspect a command's effects before modifying your live system

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.

git-sim

Visually simulate Git operations in your own repos with a single terminal command.

picoGPT

An unnecessarily tiny implementation of GPT-2 in NumPy.

particle-life

A simple program to simulate artificial life using attraction/reuplsion forces between many particles

backend-GPT

dafny

Dafny is a verification-aware programming language

powertools-lambda-python

A developer toolkit to implement Serverless best practices and increase developer velocity.

distsysbook

The book Distributed systems: for fun and profit

neural-tangents

Fast and Easy Infinite Neural Networks in Python

works

The code of several works on oimo.io/works

Examples

A collection of TLA⁺ specifications of varying complexities

klotho

Klotho - write AWS applications at lightning speed

gr

Multiple git repository management tool

large_language_model_training_playbook

An open collection of implementation tips, tricks and resources for training large language models

sextractor

Extract catalogs of sources from astronomical images

Braket.jl

Experimental Julia implementation of the Amazon Braket SDK

tiny-profiler

A tiny CPU profiler for Java written completely in Java 17.

staticwebsite-cli

Quickly and easily host a static website on AWS.

spotkin

A python package that updates one or more of your Spotify playlists every day with a random selection of songs from any playlists you specify. Here's mine: https://open.spotify.com/playlist/1HaQfSGjNzIsiC5qOsCUcW?si=ddc16d3e9524410c

picoBERT

Like picoGPT but for BERT.

Interpretibality-Of-DL

Resources for ,Random Matrix theory and Machine Learning connections. Ideas for self learning and accumulation of research topics to follow. Should fetch resources for math roots and complex analysis for ml and dl in the future from rmt perspective.