800,000 step-level correctness labels on LLM solutions to MATH problem
#1 alternative to Microsoft Project : Project Management & Gantt Chart
High-level Deep Learning Framework written in Kotlin
Open Source Computer Vision Library
fast C++ library for linear algebra & scientific computing
Expert System Tool
Robocode is a programming tank game for Java
An unofficial collection of Plugins for ChatGPT
Code for the paper Fine-Tuning Language Models from Human Preferences
The GNU Prolog native compiler
AI Powered Open Source Platform to Easily Build Enterprise Web Apps
High-Resolution Image Synthesis with Latent Diffusion Models
High-Resolution 3D Human Digitization from A Single Image
Download, save and convert multiple subtitles from YouTube videos
Big Data Stream Analytics Framework.
Training and serving large-scale neural networks
Open source large language model by Alibaba
Implementation of model parallel autoregressive transformers on GPUs
Chess application whichs allows working with chess PDF books and PGNs.