Parsing ELF and DWARF in Python

The pure asynchronous runtime for Scala

A fast data collector in Rust

Deequ is a library built on top of Apache Spark for defining "unit tests for data", which measure data quality in large datasets.

A Rust runtime for AWS Lambda

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

Probabilistic time series modeling in Python

An integrated shell for working with the AWS CLI.

LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.

Prevents you from committing secrets and credentials into git repositories

C99 implementation of the HTTP/1.1 and HTTP/2 specifications

Webapp in the cloud that enables swapping of plants with other people ☁️🪴

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Repository for my project in the course Cloud Computing: Fundamentos e Infraestructuras at ETSIIT, Universidad de Granada

A Proof Generator for Entailments and Tautologies in First-order Logic

Task manager with Todoist & Nextcloud support designed for GNU/Linux 🚀

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Lightweight Ruby

A tracing library 10~100x faster than others

Lisp Flavoured Erlang (LFE)

Vulkan binding generator for Zig

Python interface to Graphviz's Dot language

This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function

2D Graphic Library optimized for Cortex-M processors

Mommy's here to support you when running cargo~

The Go language implementation of gRPC. HTTP/2 based RPC

A proxy server for adding push to your API, used at the core of Fastly's Fanout service

Benchmarks for https://github.com/RaoulLuque/treewidth-heuristic-clique-graph

The HW-CBMC and EBMC Model Checkers for Verilog