Skip to content
View mfarif's full-sized avatar

Block or report mfarif

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

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

Markdown 972 107 Updated Jan 29, 2025

Finite-trace linear temporal logic.

OCaml 1 Updated Feb 25, 2023

Security Research from the Microsoft Security Response Center (MSRC)

Python 1,337 163 Updated Aug 8, 2024

MODELING GIT WITH ALLOY

Shell 6 Updated Jul 24, 2012

A Python Implementation to convert Regular Expression directly to DFA

Python 4 1 Updated Oct 28, 2018

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,461 156 Updated Jan 29, 2025

simple terminal UI for git commands

Go 55,758 1,934 Updated Jan 30, 2025

Automata-based monitoring framework for first-order LTL

Scala 5 2 Updated May 27, 2015

DOM fuzzer

Python 1,712 279 Updated Nov 26, 2024
Showing results