Beast code in Giters

NWMonster's starred repositories

quickjs

Public repository of the QuickJS Javascript Engine.

Language:CNOASSERTION8058 154 257

jerryscript

Ultra-lightweight JavaScript engine for the Internet of Things.

Language:CApache-2.06878 195 1539

asmjit

Low-latency machine code generation

Language:C++Zlib3881 153 320

P

The P programming language.

Language:C#MIT2964 107 257

heritrix3

Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.

Language:JavaNOASSERTION2741 188 155

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

Language:TypeScriptApache-2.02363 53 47

memtest86plus

Official repo for Memtest86+

Language:CGPL-2.0971 31 227

BugChecker

SoftICE-like kernel debugger for Windows 11

Language:CLGPL-2.1908 36 8

infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

Language:C#MIT727 25 78

PSharp

A framework for rapid development of reliable asynchronous software.

Language:C#MIT390 40 195

Calcpad

Free and open source software for mathematical and engineering calculations.

Language:HTMLMIT330 15 218

SLAyer

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Language:OCamlNOASSERTION326 37 5

connmap

connmap is an X11 desktop widget that shows location of your current network peers on a world map

Language:CMIT311 9 13

MOpt-AFL

MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"

Language:C202 9 8

wasicaml

Translate OCaml bytecode to WebAssembly

Language:OCamlNOASSERTION131 17 36

vixl

AArch32 and AArch64 Runtime Code Generation Library

Language:CNOASSERTION122 14 8

synquid

Language:HaskellMIT118 5 3

owi

WebAssembly Swissknife

Language:OCamlAGPL-3.0111 7 150

VeriGauge

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

Language:C86 6 4

hdd_firmware_tools

Tools for viewing and extracting HDD firmware files

Language:PythonMIT71 230

corral

solver for the reachability modulo theories problem

Language:BoogieMIT56 17 93

2vyper

A static verifer for Ethereum Smart Contracts written in Vyper

Language:PythonMPL-2.050 5 42

cerberus

Cerberus C semantics

Language:OCamlNOASSERTION4000

Reassessor

Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)

Language:PythonMIT29 4 1

fbme

IDE for IEC 61499 built on top of JetBrains MPS

Language:JetBrains MPSApache-2.019 16 6

movec

Movec: A Tool for the Monitoring and Verification of C Programs

Language:CNOASSERTION1400

bincc

Language:Rust6 10

boogaloo

Language:HaskellBSD-3-Clause4 20

Pharo-ArchC

Generate binutils from formal spec

Language:SmalltalkMIT400

PlumbDROID

This is a replication package for the submission titled "Automated Repair of Resource Leaks in Android Applications" to TSE 2021. https://arxiv.org/abs/2003.03201

Language:Python100