#

software-foundation

Here are 2 public repositories matching this topic...

osgeo

OSGeo / osgeo

The Open Source Geospatial Foundation is not-for-profit organization to empower everyone with open source geospatial. Directly supports projects as an outreach and advocacy organization providing financial, organizational and legal support. Works with our sponsors and partners for open software, standards, data, research and education.

opensource geospatial opendata openstandards openeducation software-foundation

Updated Apr 30, 2024
CSS

frankYaohua / Sudoku-Game-by-Coq

A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.

game tutorial coq tactics sudoku-game software-foundations coqide software-foundation coq-game softwarefoundations sudoku-engine

Updated Jul 25, 2021
Coq

Improve this page

Add a description, image, and links to the software-foundation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the software-foundation topic, visit your repo's landing page and select "manage topics."