Skip to content
View tglucas's full-sized avatar
✍️
tailucas.github.io
✍️
tailucas.github.io

Organizations

@tailucas

Block or report tglucas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Policy and data administration, distribution, and real-time updates on top of Policy Agents (OPA, Cedar, ...)

Python 5,211 201 Updated Mar 11, 2025

FastAPI framework, high performance, easy to learn, fast to code, ready for production

Python 81,957 7,078 Updated Mar 10, 2025

A Multithreaded Fork of Redis

C++ 11,834 593 Updated May 29, 2024

Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.

Python 27,960 1,554 Updated Mar 9, 2025

A terminal spreadsheet multitool for discovering and arranging data

Python 8,091 288 Updated Mar 8, 2025

A fancy, easy-to-use and reactive self-hosted docker compose.yaml stack-oriented manager

TypeScript 15,491 459 Updated Jan 4, 2025

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …

Coq 39 19 Updated Dec 20, 2024

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Assembly 458 125 Updated Mar 13, 2025

An implementation of the TLS/SSL protocols

C 4,577 724 Updated Mar 13, 2025

The 2013 edition of the Source SDK

C++ 8,407 2,524 Updated Mar 8, 2025

A curated list of cybersecurity tools and resources.

1,215 142 Updated Mar 12, 2025

The Fastest Fourier Transform on the Web!

JavaScript 98 8 Updated Jan 27, 2025

Dynamic Tracing in Linux

C 994 94 Updated Feb 16, 2025

A curated list of awesome projects related to eBPF.

4,471 383 Updated Mar 5, 2025

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

C 21,064 3,939 Updated Mar 9, 2025

SCIM Community Website

HTML 18 21 Updated Dec 11, 2024

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

JavaScript 82,875 9,999 Updated Mar 11, 2025

The missing star history graph of GitHub repos - https://star-history.com

TypeScript 7,083 272 Updated Mar 13, 2025

Manage your NextDNS settings easily with this Android app!

Java 364 21 Updated Mar 7, 2025

NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB

C++ 14,192 1,344 Updated Mar 13, 2025

PsNee, an open source stealth modchip for the Sony Playstation 1

C 512 71 Updated Mar 9, 2025

The “Quite OK Audio Format” for fast, lossy audio compression

C 811 45 Updated Jan 2, 2025

Tracing packets in the Linux networking stack & friends

Rust 489 26 Updated Mar 11, 2025

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

C 2,394 107 Updated Mar 3, 2025

A containerized web-based desktop environment for XPipe

Dockerfile 100 4 Updated Mar 11, 2025

Your entire server infrastructure at your fingertips

Java 5,736 188 Updated Mar 13, 2025

FlatBuffers: Memory Efficient Serialization Library

C++ 23,900 3,311 Updated Feb 11, 2025

A minimalist NixOS config

Nix 15 2 Updated Feb 20, 2025

Flake templates

Nix 551 87 Updated Sep 2, 2024
Next
Showing results