Project Name	Stars	Most Recent Commit	License	Language
Magmide	778	6 months ago		Coq
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Coqfj	13	6 years ago	mit	Coq
A mechanized proof of type safety for Featherweight Java using Coq

Alternatives To Coqfj

Select To Compare

Magmide ⭐ 778

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

most recent commit 6 months ago

Coqfj ⭐ 13

A mechanized proof of type safety for Featherweight Java using Coq

most recent commit 6 years ago

Suggest An Alternative To coqfj

Alternative Project Comparisons

Coqfj vs Magmide

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 4 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 4 months ago

Popular Type Safety Projects

Ts Toolbelt ⭐ 6,011

👷 TypeScript's largest type utility library

dependent packages 973total releases 928latest release March 10, 2021most recent commit a year ago

Slonik ⭐ 4,154

A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.

dependent packages 88total releases 340latest release October 31, 2023most recent commit 6 months ago

Returns ⭐ 3,083

Make your functions return something meaningful, typed, and safe!

dependent packages 58total releases 23latest release August 26, 2023most recent commit 4 months ago

Pgtyped ⭐ 2,700

pgTyped - Typesafe SQL in TypeScript

dependent packages 7total releases 33latest release October 07, 2023most recent commit 4 months ago

Hegel ⭐ 2,087

An advanced static type checker

dependent packages 4total releases 42latest release June 10, 2020most recent commit 6 months ago

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Java

Types

Coq

Calculus

Type Safety

Privacy | About | Terms | Follow Us On Twitter

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