Awesome Open Source

Programming Languages

Search results for algorithms coq

3 search results found

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

An enhanced unification algorithm for Coq

Safegcd Bounds ⭐ 39

Bounds on divsteps iterations in safegcd

Verified ⭐ 34

Coq formalizations and proofs of (data) structures and algorithms.

Deepspecdb ⭐ 25

W In Coq ⭐ 15

This is a Coq formalization of Damas-Milner type system and its algorithm W.

Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]

Ite Normalisation ⭐ 8

L. Paulson's If-Then-Else normalisation algorithm in Coq via simulated Induction-Recursion

Buchberger ⭐ 8

Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]

Automatik ⭐ 8

A library of formalized automaton algorithms

Coqperceptron ⭐ 5

Verified Coq Implementation of the Perceptron Algorithm

Related Searches

Python Algorithms (9,749)

C Plus Plus Algorithms (6,250)

Algorithms Data Structure (4,627)

Java Algorithms (4,524)

Javascript Algorithms (3,576)

C Algorithms (2,341)

Jupyter Notebook Algorithms (2,326)

Algorithms Graph (1,764)

Algorithms Sort (1,670)

Matlab Algorithms (1,381)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

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