nesken7777

nesken7777's Stars

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.1k785

• lean-ja/lean-by-example

  コード例で学ぶ Lean 言語

  Language:Lean397

• nasbench/MindMaps

  #ThreatHunting #DFIR #Malware #Detection Mind Maps

  27937

• albertan017/LLM4Decompile

  Reverse Engineering: Decompiling Binary Code with Large Language Models

  Language:Python3k214

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k161

• stascorp/rdpwrap

  RDP Wrapper Library

  Language:Pascal14.5k3.8k

• sandboxie-plus/Sandboxie

  Sandboxie Plus & Classic

  Language:C13.6k1.5k

• libsdl-org/SDL

  Simple Directmedia Layer

  Language:C9.5k1.8k

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  95180

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean19938

• avast/retdec

  RetDec is a retargetable machine-code decompiler based on LLVM.

  Language:C++8k944

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.2k1.4k

• Sinflower/UberWolf

  GUI-based Wolf RPG decrypter

  Language:C++466

• mcmilk/7-Zip-zstd

  7-Zip with support for Brotli, Fast-LZMA2, Lizard, LZ4, LZ5 and Zstandard

  Language:C5.1k300

• minoki/LunarML

  The Standard ML compiler that produces Lua/JavaScript

  Language:Standard ML34910

• Not-Applicable-NA/mugen-coding-supporter

  Language:TypeScript1

• microsoft/windows-drivers-rs

  Platform that enables Windows driver development in Rust. Developed by Surface.

  Language:Rust1.5k64

• google/typograms

  Language:JavaScript1.3k17

• yhira/chirashi

  下書き用のエディター。

  Language:Pascal6

• t-sin/soyboy-sp.vst3

  Make some chiptune with penguins.

  Language:Rust851

• fishfolk/jumpy

  Tactical 2D shooter in fishy pixels style. Made with Rust-lang 🦀 and Bevy 🪶

  Language:Rust1.6k119

• hojuballoon/hozu

  Language:C1

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java50.9k5.8k

• mre/idiomatic-rust

  🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

  Language:Rust6.5k195

• dechamps/FlexASIO

  A flexible universal ASIO driver that uses the PortAudio sound I/O library. Supports WASAPI (shared and exclusive), KS, DirectSound and MME.

  Language:C++1.4k72

• winsiderss/systeminformer

  A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals.com

  Language:C10.9k1.4k

• mullvad/mullvad-browser

  Privacy-focused browser for Linux, macOS and Windows. Made in collaboration between @torproject and @mullvad

  1.2k24

• Sinflower/WolfDec

  A Simple Wolf RPG File Decrypter

  Language:C++24645

• moko256/moko256_clock_overlay

  A simple clock overlay app for Windows only

  Language:Rust2

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust31.4k1k