Pinned Repositories
ai_alignment_readings
arc_draw_more_samples_pub
Draw more samples
control-evaluations
dotfiles
HiMCM2017
The C repository for the code for Team 8207 in the HiMCM 2017 competition
i3-vim-focus
optim
Modified torch optimizers to allow for the use of torch.autograd.grad and for differentiability
path
verified_sat
rgreenblatt's Repositories
rgreenblatt/arc_draw_more_samples_pub
Draw more samples
rgreenblatt/ai_alignment_readings
rgreenblatt/control-evaluations
rgreenblatt/verified_sat
rgreenblatt/path
rgreenblatt/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
rgreenblatt/dotfiles
rgreenblatt/anki
Anki for desktop computers
rgreenblatt/anki-external_editor
Simple substitution of built in html editor with external tool
rgreenblatt/apma_1941b_final
rgreenblatt/ARC-AGI
The Abstraction and Reasoning Corpus
rgreenblatt/avl_tree
rgreenblatt/backdoor_control_examples
rgreenblatt/final-benchmarks
rgreenblatt/fpv2021
Lecture notes, exercises, homeworks for Brown CS1951x 2021
rgreenblatt/fzf.vim
fzf :heart: vim
rgreenblatt/keyboard
rgreenblatt/learning_from_human_preferences
rgreenblatt/lm-choice
rgreenblatt/logically_uncertain_rats
rgreenblatt/macropy
Macros in Python: quasiquotes, case classes, LINQ and more!
rgreenblatt/mathlib
Lean mathematical components library
rgreenblatt/model_organism_examples
rgreenblatt/model_organism_public
rgreenblatt/nvim-gdb-repro-docker
rgreenblatt/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
rgreenblatt/repo_with_many_dependencies
For testing github_net
rgreenblatt/repo_with_many_pages_of_submodules_and_dependencies
rgreenblatt/tracing_example
rgreenblatt/TransformerLens