Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Hydra Battles	55	3 months ago	11	mit	Coq
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Dot Emacs	9	5 years ago		gpl-3.0	Emacs Lisp
Past the point of no return.

Alternatives To Hydra Battles

Select To Compare

Hydra Battles ⭐ 55

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

most recent commit 3 months ago

Dot Emacs ⭐ 9

Past the point of no return.

most recent commit 5 years ago

Suggest An Alternative To hydra-battles

Alternative Project Comparisons

Hydra Battles vs Dot Emacs

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 5 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 Hydra Projects

Hydra ⭐ 15,071

OpenID Certified™ OpenID Connect and OAuth Provider written in Go - cloud native, security-first, open source API security for your infrastructure. SDKs for any language. Works with Hardware Security Modules. Compatible with MITREid.

dependent packages 9total releases 1latest release May 08, 2019most recent commit 15 days ago

Thc Hydra ⭐ 8,480

hydra

most recent commit 5 months ago

Api Platform ⭐ 8,190

Create REST and GraphQL APIs, scaffold Jamstack webapps, stream changes in real-time.

total releases 37latest release February 12, 2018most recent commit 4 months ago

Hydra ⭐ 7,894

Hydra is a framework for elegantly configuring complex applications

dependent packages 256total releases 47latest release February 23, 2023most recent commit 3 months ago

Keto ⭐ 4,428

Open Source (Go) implementation of "Zanzibar: Google's Consistent, Global Authorization System". Ships gRPC, REST APIs, newSQL, and an easy and granular permission language. Supports ACL, RBAC, and other access models.

dependent packages 5total releases 51latest release March 09, 2023most recent commit 3 months ago

Popular Mathematics Categories