AIMET is a library that provides advanced quantization and compression techniques for trained neural network models.

A tool (and pre-commit hook) to automatically add trailing commas to calls and literals.

Experiments in formalization and verification of the Verse Calculus, In Coq

A neurosymbolic perspective on LLMs

pypyr task-runner cli & api for automation pipelines. Automate anything by combining commands, different scripts in different languages & applications into one pipeline process.

A simple streaming library

[Proof of Concept] Embedded functional scripting language with YAML ¯\_(ツ)_/¯

Deep universal probabilistic programming with Python and PyTorch

☕ 모각코하기 좋은 국내 카페 리스트

List of materials about functional programming in C++

Ju-Dung-A-Li Driven Development

A template CMake project to get you started with C++ and tooling

[ARCHIVED] The C++ parallel algorithms library. See https://github.com/NVIDIA/cccl

[ARCHIVED] Cooperative primitives for CUDA C++. See https://github.com/NVIDIA/cccl

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Transformer related optimization, including BERT, GPT

Complete solutions for exercises and MATLAB example codes for "Machine Learning: A Probabilistic Perspective" 1/e by K. Murphy

C++ implementation of CLRS 3/e example codes and exercise for studying purpose. Non-coding involved exercises will not be shared.

State-of-the-Art Deep Learning scripts organized by models - easy to train and deploy with reproducible accuracy and performance on enterprise-grade infrastructure.

An Ansible role for managing the hosts file (`/etc/hosts`).

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Olympiad in Informatics solutions

Rocky Linux is a community enterprise Operating System designed to be 100% bug-for-bug compatible with Enterprise Linux created in response to the effective discontinuation of CentOS.

Mighty card game engine

Bootstrap Kubernetes the hard way on Vagrant on Local Machine. No scripts.

An Open Source Machine Learning Framework for Everyone

여기에 있는 자료구조/알고리즘만 전부 알아도 solved.ac 마스터 보장!

Research programming language for concurrent ownership