Rosey Suzaina (Roseysuzaina)

Roseysuzaina

Geek Repo

Company:@learningmeadia

Location:United states

Github PK Tool:Github PK Tool

Rosey Suzaina's repositories

brave-browser

Next generation Brave browser for macOS, Windows, Linux, and (coming soon) Android

Language:JavaScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

Comming-Soon-Page

A simple tutorial for DesignWoop.com

Language:CSSStargazers:0Issues:1Issues:0

coq

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

cryptostorm_client_configuration_files

cryptostorm client configs

Stargazers:0Issues:1Issues:0

docs

This is the open-source repo for docs.github.com.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

explore

Community-curated topic and collection pages on GitHub

Language:RubyLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

googleads-mobile-unity

Official Unity Plugin for the Google Mobile Ads SDK

Language:C#License:Apache-2.0Stargazers:0Issues:1Issues:0
License:GPL-2.0Stargazers:0Issues:2Issues:0

opensource.guide

Community guides for open source creators

Language:JavaScriptLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

propfolio

Tools for Portfolio Management and Proprietary/Algorithmic Trading

Language:RStargazers:0Issues:1Issues:0
License:MITStargazers:0Issues:1Issues:0

tor-browser

UPDATE: Orfox is being replaced by Tor Browser for Android. All future work and comments will be handled by Tor Project.

License:NOASSERTIONStargazers:0Issues:0Issues:0