Beast code in Giters

Leandro T. C. Melo's starred repositories

jelly

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

Language:TypeScriptMIT30900

psychec

A compiler frontend for the C programming language

Language:C++BSD-3-Clause52600

Modern-CPP-Programming

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

Language:HTML1150800

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language:NimNOASSERTION1628400

analysis-net

Static analysis framework for .NET programs.

Language:C#MIT2800

buzz

👨‍🚀 buzz, A small/lightweight statically typed scripting language

Language:ZigMIT116000

lushu

System to recognize infinite languages and react to string events

Language:Jupyter NotebookGPL-3.02600

Nisse

Ball Larus edge profiling with loop optimization

Language:C++GPL-3.02200

merlin

Program instrumentation and cost function generation

Language:C++GPL-3.02700

github-action

A GitHub action you can use to scan with Endor Labs

Language:TypeScriptApache-2.04500

SharpLab

.NET language playground

Language:C#BSD-2-Clause263700

cecil

Cecil is a library to inspect, modify and create .NET programs and libraries.

Language:C#MIT268300

memray

Memray is a memory profiler for Python

Language:PythonApache-2.01287100

llvm

Y86 backend implementation (based on Computer Systems book spec)

Language:C++NOASSERTION1100

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellGPL-3.03564700

swig

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

Language:C++NOASSERTION561100

SharpSyntaxRewriter

A C# syntax rewriter

Language:C#Apache-2.01800

flix

The Flix Programming Language

Language:ScalaNOASSERTION210500

skip

A programming language to skip the things you have already computed

Language:JavaScriptMIT196900

zetasql

ZetaSQL - Analyzer Framework for SQL

Language:C++Apache-2.0216500

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#MIT72700

ltcmelo