Explore projects

The Adaptive Metalanguage

Esse projeto é uma investigação do comportamento de horizontes aparentes de um conjunto de dados iniciais da equação de Einstein, sob a ação do fluxo de Ricci.

Source for https://about.gitlab.com/

Source for https://about.gitlab.com/

Source for https://about.gitlab.com/

Source for https://about.gitlab.com/

Source for https://about.gitlab.com/

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.

A mirror of the nettle project repository. http://www.lysator.liu.se/~nisse/nettle/

Dropbear SSH for Android. This is a patched version from the official git mirror to build on Android. Non rychly/* branches pulled from https://github.com/mkj/dropbear.git; pushed to mirror https://github.com/rychly/droidsshd.git