minalspatil

Prompt-Engineering-Guide

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

open-llms

📋 A list of open LLMs available for commercial use.

trl

Train transformer language models with reinforcement learning.

OpenNMT-py

Open Source Neural Machine Translation and (Large) Language Models in PyTorch

DeepSeek-Coder

DeepSeek Coder: Let the Code Write Itself

CodeGen

CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

alignment-handbook

Robust recipes to align language models with human and AI preferences

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

human-eval

Code for the paper "Evaluating Large Language Models Trained on Code"

lectures

Material for cuda-mode lectures

Code-LMs

Guide to using pre-trained large language models of source code

auto-cot

Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

cbmc

C Bounded Model Checker

alive2

Automatic verification of LLVM optimizations

cpachecker

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

HalideIR

Symbolic Expression and Statement Module for new DSLs

ultimate

The Ultimate program analysis framework.

program_synthesis

Program Synthesis

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

otoml

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

PRECiSA

Program Round-off Error Certifier via Static Analysis

ssa

A minimal development of SSA theory

llama2.ml

Llama2 inference in one file of pure OCaml.

sling

tricera

TriCera: a model checker for C programs

logical_verification_2024

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

aoc23

Advent of Code 2023

NeuralCasting

Front-end compiler for ONNX