Giters
Paulo R. A. Sales (salespaulo)

salespaulo

Geek Repo

83

followers

386

following

824

stars

Company:Freunde Von Ideen

Location:São Paulo

Home Page:https://youtu.be/W_G3xyaSgL0

Github PK Tool:Github PK Tool

Paulo R. A. Sales's starred repositories

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:27678Issues:1004Issues:3144

seastar

High performance server-side application framework

Language:C++License:Apache-2.0Stargazers:8110Issues:396Issues:1189

ejabberd

Robust, Ubiquitous and Massively Scalable Messaging Platform (XMPP, MQTT, SIP Server)

Language:ErlangLicense:NOASSERTIONStargazers:5964Issues:275Issues:3336

osv

OSv, a new operating system for the cloud.

Language:CLicense:NOASSERTIONStargazers:4045Issues:268Issues:1179

Complete-System-Design

This repository contains everything you need to become proficient in System Design

License:MITStargazers:3645Issues:50Issues:0

javacc

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

Language:JavaLicense:BSD-3-ClauseStargazers:1148Issues:41Issues:137

ling

Erlang on Xen

Language:CLicense:NOASSERTIONStargazers:798Issues:73Issues:105

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:736Issues:56Issues:18

smf

Fastest RPC in the west

Language:C++License:NOASSERTIONStargazers:710Issues:35Issues:214

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:564Issues:46Issues:61

Windows-11-Web

Awe-amazing Windows 11 clone. Oh wait, Not for your Computer, but for the web! ⚡

Language:TypeScriptLicense:Apache-2.0Stargazers:557Issues:4Issues:10

github-readme-quotes

🔥 Add Programming Quotes To Your GitHub Readme

Language:TypeScriptLicense:MITStargazers:409Issues:6Issues:14

capstan

Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan

Language:GoLicense:NOASSERTIONStargazers:359Issues:35Issues:98

Learn4Elixir

Aprenda Elixir em 4 Pull Requests!

License:MPL-2.0Stargazers:289Issues:11Issues:0

cellpylib

A library for working with Cellular Automata, for Python.

Language:PythonLicense:Apache-2.0Stargazers:218Issues:8Issues:25

SpanDB

A Fast, Cost-Effective LSM-tree Based KV Store on Hybrid Storage

Language:C++License:GPL-2.0Stargazers:185Issues:9Issues:14

oidcc

OpenId Connect client library in Erlang & Elixir

Language:ErlangLicense:Apache-2.0Stargazers:153Issues:13Issues:96

henk

🧊 Чиста система з всесвітами

Language:ErlangLicense:NOASSERTIONStargazers:144Issues:21Issues:35

osv-apps

OSv Applications

Language:MakefileStargazers:136Issues:25Issues:24

md

Stream-aware markdown parser with custom syntax setting

Language:ElixirLicense:MITStargazers:72Issues:3Issues:28

serpents

Multi-Player Game on top of HDP protocol

Language:ErlangLicense:Apache-2.0Stargazers:56Issues:46Issues:22

kvs

Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search

Language:ScalaLicense:MITStargazers:23Issues:6Issues:11

snap

Snap Programming Language

Language:JavaStargazers:20Issues:3Issues:2

anders

🧊 Модальний гомотопічний верифікатор математики

Language:OCamlLicense:NOASSERTIONStargazers:18Issues:0Issues:0

erlang

Implementation of All ▲lgorithms in Erlang Programming Language

Language:ErlangLicense:MITStargazers:11Issues:2Issues:1

languages

🧊 Енциклопедія мов програмування

License:NOASSERTIONStargazers:5Issues:2Issues:0

bud

BUD: Capital Budgeting

Language:ElixirLicense:ISCStargazers:4Issues:0Issues:0

asn1

Zero-copy ASN.1 and DER coding 🏎️

Language:TypeScriptStargazers:2Issues:2Issues:0

countach

N2O Based Social App Store

Language:ErlangStargazers:2Issues:1Issues:0

n2o.cloud

🌐 N2O.CLOUD: Application Instances

Stargazers:1Issues:3Issues:0