Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Reglang	37	4 months ago	1	other	Coq
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Regex Reexamined Coq	14	2 years ago	17	apache-2.0	Coq

Regex Derivative	5	4 years ago			Coq
Regex derivatives in Coq

Alternatives To Reglang

Select To Compare

Reglang ⭐ 37

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

most recent commit 4 months ago

Regex Reexamined Coq ⭐ 14

most recent commit 2 years ago

Regex Derivative ⭐ 5

Regex derivatives in Coq

most recent commit 4 years ago

Suggest An Alternative To reglang

Alternative Project Comparisons

Reglang vs Regex Reexamined Coq

Reglang vs Regex Derivative

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 Regular Expression Projects

Ripgrep ⭐ 44,855

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

dependent packages 348total releases 37latest release November 26, 2023most recent commit 11 days ago

Learn Regex ⭐ 44,809

Learn regex the easy way

most recent commit 10 months ago

Androidutilcode ⭐ 32,157

:fire: Android developers should collect the following utils(updating).

dependent packages 25total releases 4latest release October 14, 2022most recent commit a year ago

Fd ⭐ 30,369

A simple, fast and user-friendly alternative to 'find'

total releases 31latest release October 21, 2023most recent commit 3 months ago

Z ⭐ 15,648

z - jump around

total releases 1latest release February 27, 2018most recent commit 5 months ago

Popular Mathematics Categories