minhyuk

minhyuk's Stars

• langgenius/dify

  Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting you quickly go from prototype to production.

  Language:TypeScript44.4k6.2k

• NVIDIA/NeMo-Guardrails

  NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.

  Language:Python4k359

• mozilla/rust-code-analysis

  Library to analyze and collect metrics on source code

  Language:C27347

• Suresoft-GLaDOS/bugscpp

  A database of real-world C/C++ defaults to experiment in software engineering research

  Language:Python4022

• imbushuo/mac-precision-touchpad

  Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad

  Language:C8.9k562

• beeware/Python-Apple-support

  A meta-package for building a version of Python that can be embedded into a macOS, iOS, tvOS or watchOS project.

  Language:Makefile1.1k159

• Suresofttech-official/vulcan-action

  Language:Python4

• kaitai-io/kaitai_struct

  Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby

  Language:Shell4k192

• ltcmelo/psychec

  A compiler frontend for the C programming language

  Language:C++53039

• Suresoft-GLaDOS/SBFL

  Spectrum-based Fault Localization Engine

  Language:Python255

• Suresoft-GLaDOS/MSV

  Language:C4

• AI4Finance-Foundation/FinRL-Trading

  For trading. Please star.

  Language:Jupyter Notebook2k726

• googleprojectzero/winafl

  A fork of AFL for fuzzing Windows binaries

  Language:C2.3k530

• NASA-SW-VnV/ikos

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

  Language:C++2k150

• antoinemine/apron

  Apron Numerical Abstract Domain Library

  Language:C10233

• inputsh/awesome-c

  Continuing the development of awesome-c list on GitHub

  3.4k357

• fffaraz/awesome-cpp

  A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

  58.6k7.8k

• Nuitka/Nuitka

  Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.12. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.

  Language:Python11.7k635

• goblint/analyzer

  Static analysis framework for C

  Language:OCaml17272

• microsoft/CodeContracts

  Source code for the CodeContracts tools for .NET

  Language:C#882150

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++814257

• Isweet/sym-while

  Symbolic Execution of `while` language

  Language:OCaml2

• samchon/tstl

  TypeScript-STL (Standard Template Library, migrated from C++)

  Language:TypeScript60149

• strace/strace

  strace is a diagnostic, debugging and instructional userspace utility for Linux

  Language:C2.2k426

• eth-sri/ELINA

  ELINA: ETH LIbrary for Numerical Analysis

  Language:C++12954

• xlgames-inc/XLE

  XLE -- the "hackable" 3D game rendering engine

  Language:C++33573

• rainers/cv2pdb

  converter of DMD CodeView/DWARF debug information to PDB files

  Language:C++470110

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  184169

• sosy-lab/cpachecker

  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

  Language:SWIG22290

• tinkerpop/gremlin

  A Graph Traversal Language (no longer active - see Apache TinkerPop)

  Language:Java1.9k237