264 Open source projects that are alternatives of or similar to stablesort

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Formalization of the basic actuarial mathematics using Coq

The formal proof of the Odd Order Theorem

Finite sets, finite maps, multisets and generic sets

Multinomials for the Mathematical Components library.

A proof of Abel-Ruffini theorem.

sorting algorithms in python

A mobile application that visualizes various sorting algorithms such as Bubble sort, selection sort, quick sort etc. The sorting process is visualized as the rearrangement of vertical lines of different lengths from shortest to tallest.

📊 Sorting.Visualizer is a web app for visualizing a bunch of different sorting algorithms Like Selection Sort, Bubble Sort, Insertion Sort, Merge Sort, Quick Sort, Heap Sort With the functionality of (Speed Control) and (Array Size Control)...

Code for various YouTube video lessons + extras

Sorting algorithm quicker than MergeSort, and is adaptive and stable.

Implementation of Algorithms and Data Structures, Problems and Solutions

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

A Visual Studio Code extension for Coq [[email protected],@fakusb]

Some examples for the programming language Go.

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

A selection of formal proofs in Coq.

This is our effort to collect the best implementations to tough algorithms. All codes are written in c++.

A open source repository of different kinds of algorithms in c. Newbies are encouraged to contribute! Note: I made this code when i didn't have as much experience in programming

A Library for Representing Recursive and Impure Programs in Coq

A formalization of geometry in Coq based on Tarski's axiom system

Voevodsky's original development of the univalent foundations of mathematics in Coq

Import OCaml programs to Coq 🐓 🐫

A curated set of links to formal methods involving provable code.

Coq plugin embedding elpi

A mechanisation of Wasm in Coq

A Learning Environment for Theorem Proving with the Coq proof assistant

The Language for Smart Legal Contracts

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

A work-in-progress language and compiler for verified low-level programming

Python application to visualize sorting algorithms using RGB colours.

A library for formalizing Haskell types and functions in Coq

Radix sorting from the ground up

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

A minimalistic blockchain consensus implemented and verified in Coq

formalization of the Dependent Object Types (DOT) calculus

The Vellvm (Verified LLVM) coq development.

Mostly Automated Synthesis of Correct-by-Construction Programs

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Coq formalizations of functional languages.

FSCQ is a certified file system written and proven in Coq

Interactive Coq Proofs in Vim

No description or website provided.

Verified hash-based AMQ structures in Coq

Metaprogramming in Coq

Mindless, verified (erasably) coding using dependent types

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

A playground for learning DataStructures, Algorithms, and Object-Oriented Concepts.

Randomized Property-Based Testing Plugin for Coq

PeaCoq is a pretty Coq, isn't it?

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

A SuperCompiler for Martin-Löf's Type Theory

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

data structure and algorithm - examples and implementations

🐣 A blog engine written and proven in Coq

Formal proof of the Four Color Theorem