Towards self-verifiable mathematical reasoning
Strong, Economical, and Efficient Mixture-of-Experts Language Model
A multimodal model for brain response prediction
Automate the process of making money online
Ling-V2 is a MoE LLM provided and open-sourced by InclusionAI
Seesaw v2 is a Linux Virtual Server based load balancing platform
An easy-to-use, working NitroType hack for typing at insane speeds!
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models
MiMo-V2-Flash: Efficient Reasoning, Coding, and Agentic Foundation
A custom pagination library for Mongoose with customizable labels
You can select outline and solid icons using the variation props
Bibtex parser for Python 3
WalletConnect Monorepo
Workshop-Level Automated Scientific Discovery via Agentic Tree Search
Advancing Formal Mathematical Reasoning via Reinforcement Learning
AWS SDK for the Go programming language
Open and extensible continuous delivery solution for Kubernetes
Swagger UI as Koa v2 middleware
Next generation AWS IoT Client SDK for C++ using AWS Common Runtime
High-Resolution Image Synthesis with Latent Diffusion Models
A powerful cross-platform toolkit for Xiaomi devices management
Redis client and message queue for Clojure
Next generation AWS IoT Client SDK for Node.js using the AWS Runtime
Linux port of FAR v2
Free Streaming Bot: Compatible with Twitch, YouTube and Facebook