8000 ltcmelo (Leandro T. C. Melo) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ltcmelo's full-sized avatar

Block or report ltcmelo

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

Starred repositories

Showing results

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

11,274 530 Updated Jul 22, 2024

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

TypeScript 369 29 Updated Apr 10, 2025

A compiler frontend for the C programming language

C++ 546 40 Updated May 25, 2025

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

HTML 13,277 908 Updated Apr 14, 2025

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,…

Nim 17,081 1,489 Updated May 27, 2025

Static analysis framework for .NET programs.

C# 28 15 Updated Dec 17, 2020

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

Zig 1,381 35 Updated May 7, 2025

System to recognize infinite languages and react to string events

Jupyter Notebook 26 1 Updated Dec 10, 2023

Ball Larus edge profiling with loop optimization

C++ 33 2 Updated Apr 3, 2025

Program instrumentation and cost function generation

C++ 28 1 Updated Aug 20, 2024

A GitHub action you can use to scan with Endor Labs

TypeScript 45 4 Updated Mar 14, 2025

.NET language playground

C# 2,844 207 Updated Nov 18, 2024

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

C# 2,865 644 Updated Mar 5, 2025

Memray is a memory profiler for Python

Python 13,998 410 Updated May 21, 2025

Y86 backend implementation (based on Computer Systems book spec)

C++ 11 Updated Sep 26, 2014

ShellCheck, a static analysis tool for shell scripts

Haskell 37,447 1,818 Updated May 17, 2025

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

C++ 6,014 1,267 Updated May 28, 2025

A C# syntax rewriter

C# 20 6 Updated May 2, 2023

The Flix Programming Language

Scala 2,286 164 Updated May 28, 2025

A programming language to skip the things you have already computed

JavaScript 2,010 68 Updated Sep 21, 2023

ZetaSQL - Analyzer Framework for SQL

C++ 2,398 228 Updated Mar 28, 2025

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. I…

C# 745 30 Updated Jan 16, 2024

Pyjion - A JIT for Python based upon CoreCLR

C++ 1,429 61 Updated Dec 25, 2024

Yet Another Random Program Generator

C++ 508 59 Updated May 12, 2025

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 36,377 2,185 Updated May 25, 2025

The Jolie programming language

Java 543 53 Updated May 25, 2025

The G 55C2 rain compiler toolchain and CLI. Home of the modern web staple. 🌾

Reason 3,354 116 Updated May 25, 2025

an educational compiler intermediate representation

Rust 667 279 Updated May 28, 2025

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

218 3 Updated Dec 10, 2022

Semantics of C in K

C 315 43 Updated Feb 1, 2022
Next
0