Marti2203/libjpeg-turbo
Main libjpeg-turbo repository
PhD CS Student in National University of Singapore, Project Euler Enjoyer
Repositories
Marti2203/tomlc17
Lightweight, strictly compliant TOML v1.1 parser for C and C++.
Marti2203/libyaml
Canonical source repository for LibYAML
Marti2203/nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
Marti2203/marti2203.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Marti2203/verus-fork
Verified Rust for low-level systems code
Marti2203/AutoRocq-fork
Agentic Theorem Prover for Rocq for Program Verification
Marti2203/verus
Verified Rust for low-level systems code
Marti2203/RailRoadDiagrams
A .Net Port of tabatkins' railroad-diagrams
Marti2203/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Marti2203/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Marti2203/multilspy
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
Marti2203/PcapPlusPlus
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, Npcap, WinPcap, DPDK, AF_XDP and PF_RING.
Marti2203/SWE-bench-docker
Marti2203/ReadStat
Command-line tool (+ C library) for converting SAS, Stata, and SPSS files 💾
Marti2203/assimp
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
Marti2203/libconfig
C/C++ Library for Processing Structured Configuration Files
Marti2203/openbabel
Open Babel is a chemical toolbox designed to speak the many languages of chemical data.
Marti2203/eShopOnWeb
Sample ASP.NET Core 8.0 reference application, powered by Microsoft, demonstrating a layered application architecture with monolithic deployment model. Download the eBook PDF from docs folder.
Marti2203/maloss
Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages
Marti2203/test
Marti2203/example-repo
Small Example Repository for Testing ACR
Marti2203/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Marti2203/c-blosc2
A fast, compressed, persistent binary data store library for C.
Marti2203/abseil-cpp
Abseil Common Libraries (C++)
Marti2203/unit
NGINX Unit - universal web app server - a lightweight and versatile open source server that simplifies the application stack by natively executing application code across eight different programming language runtimes.
Marti2203/llmr
Large Language Model based repair tool
Marti2203/f1x
Efficient patch generation engine for C/C++ programs
Marti2203/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Marti2203/TBar
Template-based Automated Program Repair