Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Roscoq	32	6 years ago			Coq
Robots powered by Constructive Reals
Coq Robot	23	4 months ago	4		Coq
Mathematics of Rigid Body Transformationss using Coq and MathComp
Ascii_robot	6	4 years ago		mit	Coq
ASCII Robot Generator in V

Alternatives To Coq Robot

Select To Compare

Roscoq ⭐ 32

Robots powered by Constructive Reals

most recent commit 6 years ago

Coq Robot ⭐ 23

Mathematics of Rigid Body Transformationss using Coq and MathComp

most recent commit 4 months ago

Ascii_robot ⭐ 6

ASCII Robot Generator in V

most recent commit 4 years ago

Suggest An Alternative To coq-robot

Alternative Project Comparisons

Coq Robot vs Roscoq

Coq Robot vs Ascii_robot

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Robot Projects

Itchat ⭐ 25,052

A complete and graceful API for Wechat. 微信个人号接口、微信机器人及命令行微信，三十行即可自定义个人号机器人。

dependent packages 11total releases 79latest release November 03, 2017most recent commit 7 months ago

Pythonrobotics ⭐ 21,528

Python sample codes for robotics algorithms.

most recent commit 18 days ago

Robotgo ⭐ 8,937

RobotGo, Go Native cross-platform RPA and GUI automation @vcaesar

dependent packages 71total releases 111latest release October 30, 2023most recent commit 4 months ago

Robotframework ⭐ 8,677

Generic automation framework for acceptance testing and RPA

dependent packages 421total releases 122latest release November 22, 2023most recent commit 3 months ago

Gobot ⭐ 8,607

Golang framework for robotics, drones, and the Internet of Things (IoT)

dependent packages 31total releases 32latest release October 30, 2023most recent commit 3 months ago

Popular Mathematics Categories