Popular GitHub Repositories for Smt Lib

?? NLP Algorithms with transformers lib. Supporting Text-Classification, Text-Generation, Information-Extraction, Text-Matching, RLHF, SFT etc.

micronet, a model compression and deploy lib. compression: 1、quantization: quantization-aware-training(QAT), High-Bit(>2b)(DoReFa/Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference)、Low-Bit(≤2b)/Ternary and Binary(TWN/BNN/XNOR-Net); post-training-quantization(PTQ), 8-bit(tensorrt); 2、 pruning: normal、regular and group convolutional channel pruning; 3、 group convolution structure; 4、batch-normalization fuse for quantization. deploy: tensorrt, fp32/fp16/int8(ptq-calibration)、op-adapt(upsample)、dynamic_shape

SuMa++: Efficient LiDAR-based Semantic SLAM (Chen et al IROS 2019)

a pytorch lib with state-of-the-art architectures, pretrained models and real-time updated results

No-Frills Functional Programming Lib Augmenting Javascript/Node.js

Maix Speech AI lib, a fast and small speech lib running on embedded devices, including ASR, chat, TTS etc.

Optimized (for size and speed) Caffe lib for iOS and Android with out-of-the-box demo APP.

OpenDILab RL Kubernetes Custom Resource and Operator Lib

Annif is a multi-algorithm automated subject indexing tool for libraries, archives and museums.

OpenDILab RL HPC OP Lib, including CUDA and Triton kernel

Jeo: Jax model training lib for Earth Observation

An opensource lib. for vehicle vision applications (written by MATLAB), lane marking detection, road segmentation

Simple lib for iOS to find and compare faces.

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

A Java Lib for Google-Bard API (Reverse engineering of Google's Bard API)

Fast Differentiable Forest lib with the advantages of both decision trees and neural networks

A handy lib for smooth interaction with large language models (LLMs) and crafting AI apps.

Golang lib for LLM APIs, ChatGPT, Gemini and Anthropic

Spark ML Lib serving library

A toy code generator (i.e. "program synthesis") using the Z3 solver