Stars
The official gpt4free repository | various collection of powerful language models | o4, o3 and deepseek r1, gpt-4.1, gemini 2.5
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
A research project for natural language generation, containing the official implementations by MSRA NLC team.
Code for Parsel 🐍 - generate complex programs with language models
Benchmarking large language models' complex reasoning ability with chain-of-thought prompting
A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)
A LLVM-based static analysis framework.
Empirical Study of Transformers for Source Code & A Simple Approach for Handling Out-of-Vocabulary Identifiers in Deep Learning for Source Code
PTABen: Micro-benchmark Suite for Pointer Analysis
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
Easy to maintain open source documentation websites.
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
Open source implementation of the Coderrect Scanner core race detection functionality.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Sample project for a small, flexible runtime reflection system using C++11
Various synchronization primitives for multithreaded applications in C++11.
[deprecated] For native C atomics, see Turf instead
Static Value-Flow Analysis Framework for Source Code