Skip to content
View thomasarmel's full-sized avatar

Highlights

  • Pro

Organizations

@Projet-archi-ps6

Block or report thomasarmel

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
Python 1 Updated Aug 26, 2024

Automated Access Control Testing of Web Applications

Python 1 Updated Jan 26, 2025

Factor polynomial over GF(2) using Berlekamp algorithm

C++ 5 1 Updated Sep 10, 2017
TeX 12 7 Updated May 28, 2024

Compiler for the Flo programming language

Rust 4 1 Updated Feb 8, 2025

🐍🎮 pygame - Community Edition is a FOSS Python library for multimedia applications (like games). Built on top of the excellent SDL library.

C 1,093 168 Updated Feb 25, 2025

🛡️ Take control of your Discord experience with GoofCord – a highly configurable and privacy minded discord client.

TypeScript 322 7 Updated Feb 17, 2025

Language for high-assurance and high-speed cryptography

Coq 282 59 Updated Feb 25, 2025

In-Memory Rootkit For Linux

C 70 11 Updated Feb 12, 2025

build-once run-anywhere c library

C 19,002 666 Updated Feb 9, 2025

All your base are belong to us!

Rust 78 56 Updated Feb 21, 2025

Compile Rust code to GBZ80 (Gameboy Z80)

Rust 212 8 Updated Jan 19, 2025
Rust 1 Updated Jan 26, 2025

Dorsale is a Bun-based backend framework

TypeScript 2 Updated Feb 24, 2025

An open-source SBox analysis utility

Python 12 Updated Dec 6, 2023

High performance self-hosted photo and video management solution.

TypeScript 58,883 3,105 Updated Feb 25, 2025

A Dolev-Yao-model-guided fuzzer for TLS

Rust 138 11 Updated Feb 24, 2025

Repository of experiment for the paper

Roff 4 2 Updated Feb 5, 2024

A microarchitectural leakage detection framework using dynamic instrumentation.

C# 69 10 Updated Jun 5, 2024

Checking that functions are constant time with Valgrind

C 178 16 Updated Feb 26, 2017

Fullstack app framework for web, desktop, mobile, and more.

Rust 25,414 990 Updated Feb 25, 2025

Yet another C++ Cobalt Strike beacon dropper with Compile-Time API hashing and custom indirect syscalls execution

C++ 168 34 Updated Mar 19, 2024

CUDA on non-NVIDIA GPUs

Rust 10,763 692 Updated Feb 24, 2025

KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.

987 120 Updated Feb 7, 2025

Apache OpenDAL: One Layer, All Storage.

Rust 3,849 530 Updated Feb 25, 2025

Heap profiling and ad hoc profiling for Rust programs.

Rust 767 38 Updated Feb 20, 2025

Unix-like kernel written in Rust

Rust 3,028 101 Updated Feb 24, 2025

Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.

Rust 2,328 114 Updated Feb 25, 2025

Transmitting IP packages over a pair of spaghetti thus demonstrating how media independent IP really is.

C++ 340 3 Updated Feb 6, 2024

Dafny is a verification-aware programming language

C# 3,002 271 Updated Feb 25, 2025
Next
Showing results