Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Regex Reexamined Coq

Stars
14
License
apache-2.0
Open Issues
17
Most Recent Commit
2 years ago
Programming Language
Coq
Categories
Repo
Alternatives To Regex Reexamined Coq
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Regex Reexamined Coq14
2 years ago17apache-2.0Coq
Riggedregex11
4 years agompl-2.0Rust
Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
Alpharegexpublic8
7 years ago2mitOCaml
Alternatives To Regex Reexamined Coq
Select To Compare
Regex Reexamined Coq ⭐ 14
most recent commit 2 years ago
Alpharegexpublic ⭐ 8
most recent commit 7 years ago


Suggest An Alternative To regex-reexamined-coq
Alternative Project Comparisons
Regex Reexamined Coq vs Riggedregex
Regex Reexamined Coq vs Alpharegexpublic
Popular Paper Projects
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 4 days agocargo ignore} Downloads
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 4 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Paper
Regular Expression
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.