Explore projects
-
username-removed-60210 / dropbear
MIT LicenseDropbear 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
Updated -
Updated
-
-
-
-
-
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.
Updated -
username-removed-1343245 / coq
GNU Lesser General Public License v2.1 onlyCoq 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.
Updated -
-
gnutls / nettle
OtherA mirror of the nettle project repository. http://www.lysator.liu.se/~nisse/nettle/
Updated -