LimbicSys

LimbicSys's Stars

• ghostty-org/ghostty

  👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

  Language:Zig26.9k1811.6k672

• sxyazi/yazi

  💥 Blazing fast terminal file manager written in Rust, based on async I/O.

  Language:Rust22.1k621.1k485

• firmianay/CTF-All-In-One

  CTF竞赛权威指南

  Language:C4.2k13019705

• orhun/binsider

  Analyze ELF binaries like a boss 😼🕵️‍♂️

  Language:Rust3k74771

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.9k63236201

• mozilla/cbindgen

  A project for generating C bindings from Rust code

  Language:Rust2.5k36573324

• joernio/joern

  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

  Language:Scala2.2k411.2k300

• altsem/gitu

  A TUI Git client inspired by Magit

  Language:Rust2.1k8109102

• ilai-deutel/kibi

  A text editor in ≤1024 lines of code, written in Rust

  Language:Rust1.6k93794

• corrosion-rs/corrosion

  Marrying Rust and CMake - Easy Rust and C/C++ Integration!

  Language:CMake1.1k14215111

• foonathan/lexy

  C++ parsing DSL

  Language:C++1k1711274

• rachartier/tiny-inline-diagnostic.nvim

  A Neovim plugin that display prettier diagnostic messages. Display diagnostic messages where the cursor is, with icons and colors.

  Language:Lua82338313

• eteran/c-vector

  A dynamic array implementation in C similar to the one found in standard C++

  Language:C++7622023112

• okbob/plpgsql_check

  plpgsql_check is a linter tool (does source code static analyze) for the PostgreSQL language plpgsql (the native language for PostgreSQL store procedures).

  Language:C6623212453

• moonbitlang/moonbit-compiler

  Language:OCaml5196031

• soulis-1256/eagle.nvim

  Show diagnostics and lsp info inside a custom window

  Language:Lua2716125

• zeek/spicy

  C++ parser generator for dissecting protocols & files.

  Language:C++2582379638

• fuzz4all/fuzz4all

  🌌️Fuzz4All: Universal Fuzzing with Large Language Models

  Language:Python2051731

• daniellansun/groovy-parser

  Yet another new parser for Groovy programming language(project code: Parrot)

  Language:Groovy10092211

• pteroctopus/faster.nvim

  Some Neovim plugins and features can make Neovim slow when editing big files and executing macros. Faster.nvim will selectively disable some features when big file is opened or macro is executed.

  Language:Lua81200

• Yunlongs/Goshawk

  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.

  Language:C++8131015

• cdisselkoen/llvm-ir-analysis

  Language:Rust70349

• FOX-Fuzz/FOX

  Coverage-guided Fuzzing as Online Stochastic Control

  Language:C44327

• nvimdev/phoenix.nvim

  A blazing-fast asynchronous in-process server providing word and path completion.

  Language:Lua321

• Xidian-ICTT-GZ/Academic_Blog

  软件工程与形式化方法相关前沿工作阅读与分享

  31601

• csl-ugent/ESSS

  Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.

  Language:C++12211

• nvimdev/dired.nvim

  dired + fp

  Language:Lua812

• mfussenegger/antlr4ls

  antlr4 language server

  Language:Java3

• EH-Digger/EH-Digger

  Language:Python110

• QingJiuYS/Syntax_extraction

  Language:C110