Code for Discovering Preference Optimization Algorithms with and for Large Language Models

Robust recipes to align language models with human and AI preferences

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Policeman's Forbidden API Checker

Take beautiful markdown notes and stay organized with task lists. Fork of Quillnote

Take beautiful markdown notes and stay organized with task lists.

Create beautiful diagrams just by typing notation in plain text.

Generate diagrams for parser grammars

🚂 A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!

MacDependency shows all dependent libraries and frameworks of a given executable, dynamic library or framework on Mac OS X

A grammar agnostic code completion engine for antlr-ng and ANTLR4 based parsers

ANTLR4 language support for Visual Studio Code

AntlrVSIX is a language server for use with Visual Studio 2019, Visual Studio Code, and Gnu Emacs to support Antlr, Bison, and W3C EBNF grammars. In addition to the IDE extensions provided here, a …

Toolkit for grammars

Third-party "dotnet new" templates for Antlr.

Third-party build tool for 'Official' Antlr4 tool and runtime parsers using .Net. Drop-in replacement for 'Antlr4cs' Antlr4 tool and build rules.

A replacement for Microsoft.VisualStudio.LanguageServer.Protocol

The Vampire Theorem Prover

D2 is a modern diagram scripting language that turns text to diagrams.

Finetuning SD in style.

Audio datasets, easier.

expose yourself

Fast TorToiSe inference (5x or your money back!)

A tool for inspecting the usage of a Black Duck instance and offering wisdom about how to make better use of the system

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

HIP: C++ Heterogeneous-Compute Interface for Portability

TensorFlow ROCm port

A machine learning compiler for GPUs, CPUs, and ML accelerators

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Train very large language models in Jax.