Beast code in Giters

Ryan Greenblatt's repositories

arc_draw_more_samples_pub

Draw more samples

Language:PythonMIT126 4 2

ai_alignment_readings

Language:Shell400

verified_sat

Language:LeanMIT200

control-evaluations

Language:PythonMIT100

path

Language:C++MIT100

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT100

dotfiles

Language:Vim Script000

anki

Anki for desktop computers

Language:PythonNOASSERTION000

anki-external_editor

Simple substitution of built in html editor with external tool

Apache-2.0000

apma_1941b_final

Language:Rust000

ARC-AGI

The Abstraction and Reasoning Corpus

Apache-2.0000

avl_tree

Language:Rust000

backdoor_control_examples

Language:HTML000

final-benchmarks

Language:NewLisp000

fpv2021

Lecture notes, exercises, homeworks for Brown CS1951x 2021

Language:Lean000

fzf.vim

fzf :heart: vim

Language:Vim script000

keyboard

Language:Python000

learning_from_human_preferences

Language:Python000

lm-choice

000

logically_uncertain_rats

Language:TeX000

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

Language:Python000

mathlib

Lean mathematical components library

Apache-2.0000

model_organism_examples

Language:HTML000

model_organism_public

Language:PythonMIT000

nvim-gdb-repro-docker

000

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

Language:CGPL-2.0000

repo_with_many_dependencies

For testing github_net

Language:RubyMIT000

repo_with_many_pages_of_submodules_and_dependencies

Language:RubyMIT020

tracing_example

Language:Python000

TransformerLens

MIT000