ROSCoq

(★ 34)

Robots powered by Constructive Reals

ROSCoq Latest Version Download

Download Latest Version (.zip)

Today's picks

electron ★ 122,628

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

C++
rtk ★ 76,925

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust

Rust
the-book-of-secret-knowledge ★ 239,592

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web t
taste-skill ★ 78,877

Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop

JavaScript
gemini-cli ★ 106,598

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript
LlamaFactory ★ 74,279

Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)

Python
// repository documentation