MIRI (@machine-intelligence)
Guthub

machine-intelligence

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    229
  • Global Org. Rank 37,650 (Top 12 %)
  • Registered over 10 years ago
  • Most used languages
    Haskell
         50.0 %
    JavaScript
         16.7 %
    Standard ML     16.7 %
    Arc     16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 26,460
  • Country Ranking
    Arc     11
    Standard ML     50
    Haskell
         159

Top repositories

1

Botworld

A cellular automaton for studying self-modifying agents which are embedded in their environment
Haskell
129
star
2

provability

Haskell
35
star
3

arbital-open-source

Open source code for Arbital
JavaScript
14
star
4

Botworld.HOL

An implementation of Botworld in Higher Order Logic
Standard ML
8
star
5

reflective-oracles

Haskell
6
star
6

research-forum

Arc
5
star
7

intelligenceexplosion.com

Backup of intelligenceexplosion.com
1
star
8

yudkowsky.net

Backup of yudkowsky.net
1
star