Awesome Open Source

Programming Languages

Falso

A proof of false in Coq.

Categories > Mathematics > Coq

Suggest Alternative

Stars

74

License

mit

Most Recent Commit

4 years ago

Programming Language

Coq

Categories

Security > Exploitation

Mathematics > Coq

Applications > Hacker News

Suggest An Alternative To falso

Popular Coq Projects

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 Exploitation Projects

Sqlmap ⭐ 29,628

Automatic SQL injection and database takeover tool

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

H4cker ⭐ 15,693

This repository is primarily maintained by Omar Santos (@santosomar) and includes thousands of resources related to ethical hacking, bug bounties, digital forensics and incident response (DFIR), artificial intelligence security, vulnerability research, exploit development, reverse engineering, and more.

most recent commit 3 months ago

Awesome Hacking Resources ⭐ 14,679

A collection of hacking / penetration testing resources to make you better!

most recent commit a month ago

Hacker Roadmap ⭐ 12,086

A collection of hacking tools, resources and references to practice ethical hacking.

most recent commit 6 months ago

Routersploit ⭐ 11,818

Exploitation Framework for Embedded Devices

most recent commit 5 months ago

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Exploitation

Coq

Hacker News

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.