Felipe Oliveira Carvalho's repositories
graphql-scala
A incomplete Scala port of Facebook's reference implementation of GraphQL.
foc_libraries
Header-only C++ advanced data structures
adventofcode
Advent of Code solutions
libgraphqlparser
A GraphQL query parser in C++ with C and C++ APIs
promisify-native
Convert callback-based async javascript to browser-native ES6 Promises
tla-course
Exercises from the TLA+ Video Course by Leslie Lamport
arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
aa
Cliff Click Language Hacking
arcanist-support
Arcanist scripts for linters and unit tests.
arrow-experiments
Apache Arrow Development Experiments
arrow-testing
Auxiliary testing files for Apache Arrow
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
databento-cpp
The official C++ client library for Databento
db-engine-paradigms
Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretation based) engines and compiling engines.
duckdb
DuckDB is an in-process SQL OLAP Database Management System
FASTER
Fast persistent recoverable log and key-value store + cache, in C# and C++.
FStar
A Proof-oriented Programming Language
pony-tutorial
:horse: Tutorial for the Pony programming language
ponyc
:horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language
riot
An actor-model multi-core scheduler for OCaml 5 🐫
semantic-ui-calendar-react
Datepicker react component based on semantic-ui-react components
tracy
C++ frame profiler