Awesome Open Source

Programming Languages

Coqoban

Sokoban (in Coq) [maintainer=@erikmd]

Categories > Mathematics > Coq

Suggest Alternative

Stars

21

License

lgpl-2.1

Most Recent Commit

a year ago

Programming Language

Coq

Categories

Games > Puzzle

Mathematics > Coq

Suggest An Alternative To coqoban

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

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 6 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 Puzzle Projects

Gpu Puzzles ⭐ 4,623

Solve puzzles. Learn CUDA.

most recent commit 5 months ago

Awesome Advent Of Code ⭐ 2,775

A collection of awesome resources related to the yearly Advent of Code challenge.

most recent commit 4 months ago

Tensor Puzzles ⭐ 2,202

Solve puzzles. Improve your pytorch.

most recent commit 5 months ago

100 Pandas Puzzles ⭐ 1,977

100 data puzzles for pandas, ranging from short and simple to super tricky (60% complete)

most recent commit 10 months ago

Cube Composer ⭐ 1,873

A puzzle game inspired by functional programming

most recent commit 2 years ago

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Puzzle

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.