GeezerVison

GeezerVison is showing github.com — MIRI

Popular repositories Loading

Botworld Botworld Public

A cellular automaton for studying self-modifying agents which are embedded in their environment

Haskell 130 9
provability provability Public

Haskell 44 12
rl-teacher-atari rl-teacher-atari Public archive

Forked from nottombrown/rl-teacher

(This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feedback.

Python 28 6
arbital-open-source arbital-open-source Public

Open source code for Arbital

JavaScript 14 1
Botworld.HOL Botworld.HOL Public

An implementation of Botworld in Higher Order Logic

Standard ML 8
reflective-oracles reflective-oracles Public

Haskell 6 2

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda Arc Haskell JavaScript Python Ruby Standard ML

Sort

Last updated Name Stars

Showing 10 of 17 repositories

claude-code-plugins Public
MIRI Claude Code plugin marketplace

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/claude-code-plugins's past year of commit activity

Python 1 MIT 1 0 3 Updated Feb 16, 2026
intelligenceexplosion.com Public
Backup of intelligenceexplosion.com

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/intelligenceexplosion.com's past year of commit activity

1 0 0 0 Updated May 21, 2021
yudkowsky.net Public
Backup of yudkowsky.net

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/yudkowsky.net's past year of commit activity

1 0 0 0 Updated May 21, 2021
Rainbow Public Forked from evhub/Rainbow
Rainbow: Combining Improvements in Deep Reinforcement Learning

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/Rainbow's past year of commit activity

Python 2 MIT 298 0 0 Updated Jan 22, 2020
free Public Forked from ekmett/free
free monads

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/free's past year of commit activity

Haskell 0 70 0 0 Updated Oct 4, 2019
lens Public Forked from ekmett/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/lens's past year of commit activity

Haskell 0 286 0 0 Updated Oct 2, 2019
rl-teacher-atari Public archive Forked from nottombrown/rl-teacher
(This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feedback.

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/rl-teacher-atari's past year of commit activity

Python 28 MIT 98 1 0 Updated Jan 22, 2019
arbital-open-source Public
Open source code for Arbital

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/arbital-open-source's past year of commit activity

JavaScript 14 Apache-2.0 1 0 0 Updated Aug 8, 2018
baselines Public archive Forked from openai/baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/baselines's past year of commit activity

Python 0 MIT 5,031 0 0 Updated Sep 14, 2017
transformer Public Forked from Kyubyong/transformer
A TensorFlow Implementation of the Transformer: Attention Is All You Need

Uh oh!

There was an error while loading. Please reload this page.

machine-intelligence/transformer's past year of commit activity

Python 0 Apache-2.0 1,309 0 0 Updated Sep 12, 2017

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.