Stars
A native symbolic execution engine for WebAssembly
Touying is a powerful package for creating presentation slides in Typst.
[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.
Home of StarCoder: fine-tuning & inference!
This website collects the bugs detected by our static code analyzers, Pinpoint and Fusion.
A Static Differential Analysis Tool of Network Protocol Parsers
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
Ultra fast and low latency asynchronous socket server & client C++ library with support TCP, SSL, UDP, HTTP, HTTPS, WebSocket protocols and 10K connections problem solution
Home of CodeT5: Open Code LLMs for Code Understanding and Generation
F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
Fast and effective grammar-based fuzzing based on Gramatron
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.