Skip to content

@machine-intelligence MIRI

All

    Repositories list

    17 repositories

    • claude-code-plugins

      Public
      MIRI Claude Code plugin marketplace
      Python
      •
      MIT License
      •1•1•0•3•Updated Feb 16, 2026Feb 16, 2026

    • intelligenceexplosion.com

      Public
      Backup of intelligenceexplosion.com
      0•2•0•0•Updated May 21, 2021May 21, 2021

    • yudkowsky.net

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

    • Rainbow

      Public
      Rainbow: Combining Improvements in Deep Reinforcement Learning
      Python
      •
      MIT License
      •294•3•0•0•Updated Jan 22, 2020Jan 22, 2020

    • free

      Public
      free monads
      Haskell
      •
      Other
      •66•1•0•0•Updated Oct 4, 2019Oct 4, 2019

    • lens

      Public
      Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
      Haskell
      •
      Other
      •274•1•0•0•Updated Oct 2, 2019Oct 2, 2019

    • rl-teacher-atari

      Public archive
      (This repository is no longer being maintained.) Code for Deep RL from Human Preferences [Christiano et al]. Plus a webapp for efficiently collecting human feed…
      Python
      •
      MIT License
      •97•29•1•0•Updated Jan 22, 2019Jan 22, 2019

    • arbital-open-source

      Public
      Open source code for Arbital
      JavaScript
      •
      Apache License 2.0
      •1•15•0•0•Updated Aug 8, 2018Aug 8, 2018

    • baselines

      Public archive
      OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
      Python
      •
      MIT License
      •4.9k•1•0•0•Updated Sep 14, 2017Sep 14, 2017

    • transformer

      Public
      A TensorFlow Implementation of the Transformer: Attention Is All You Need
      Python
      •
      Apache License 2.0
      •1.3k•1•0•0•Updated Sep 12, 2017Sep 12, 2017

    • research-forum

      Public archive
      Arc
      •
      Other
      •4•6•2•1•Updated Jun 13, 2017Jun 13, 2017

    • Botworld.HOL

      Public
      An implementation of Botworld in Higher Order Logic
      Standard ML
      •0•9•0•0•Updated Dec 14, 2016Dec 14, 2016

    • tt-provability

      Public archive
      Systems for doing provability logic in type theory
      Agda
      •1•3•0•0•Updated Dec 4, 2015Dec 4, 2015

    • provability

      Public
      Haskell
      •
      Other
      •12•44•0•0•Updated Aug 29, 2015Aug 29, 2015

    • reflective-oracles

      Public
      Haskell
      •2•7•0•0•Updated Mar 19, 2015Mar 19, 2015

    • predictionbook

      Public
      Find out just how sure you should be, and get better at being only as sure as the facts justify.
      Ruby
      •11•2•0•0•Updated Aug 14, 2014Aug 14, 2014

    • Botworld

      Public
      A cellular automaton for studying self-modifying agents which are embedded in their environment
      Haskell
      •
      Other
      •9•131•0•0•Updated Jun 16, 2014Jun 16, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.