GraphLinq Mobile App for managing Graphs

A library for event sourcing in Python.

A library for event sourcing in Python.

This is angular 9 project for football game statistics

This is my first react test app.

React Native Simple Projects with Navigation and Google Map, Geolocation Functions

Firebase Quickstart Samples for Android

Support for OAuth 2 and OpenId Connect (OIDC) in Angular.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…