freeman42x/RealityQuest freeman42x/RealityQuest

  • Stars
    star
    1
  • Language
    JavaScript
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
freeman42x/RealityQuest
github

freeman42x

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Computer activity logger

More Repositories

1

awesome-artificial-general-intelligence

Resources about Artificial General Intelligence
297
star
2

haskell-editor-setup

Easy instructions for setting up Haskell editors / IDEs on any major operating system.
Haskell
101
star
3

haskell-streamers

List of Haskell streamers on Twitch, YouTube, etc.
29
star
4

fairy-tale-artificial-general-intelligence-solutions

Helping humanity create safe artificial general intelligence through large scale remote collaboration. Working on free and commercial open source software
26
star
5

blog

Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
18
star
6

awesome-agda-programming

Awesome Agda Programming
14
star
7

coc-enhancer

TypeScript
8
star
8

ngpl

Next Generation Programming Language
Haskell
6
star
9

formalize-all-the-things

Proofs about General Intelligence, Narow Intelligence, Ethics, etc.
Agda
4
star
10

TimeLogger

Haskell
3
star
11

dag-file-format

.dag File Format
2
star
12

space-invader

Software that automates the process of being made a speaker on Twitter Spaces
Nix
2
star
13

Everything-Manager

Software used to optimize the efficiency of achieving goals for individuals and teams. It will become more and more like the core logic of human-level AI but without the ghost in the shell
JavaScript
2
star
14

Clash-of-Code-Streamers

Clash of Code Streamers
2
star
15

freeman42x-mind

Formalized task management
Agda
1
star
16

LagdaMdToLagda

Convert file content from `.lagda.md` to `.lagda` format
Haskell
1
star
17

dag-to-agda

.dag to .agda converter
1
star
18

Clash-of-Code-CSharp

Clash of Code CSharp dev starter
C#
1
star
19

Clash-of-Code

Clash of Code local dev starter
Haskell
1
star
20

Clash-of-Code-Rust

Clash of Code Rust dev starter
Rust
1
star
21

universal-translator

Real time universal translator
TypeScript
1
star
22

ultimate-software-list

Software list chosen to be close to best in class for the functions it fulfills
1
star
23

Electron-Miso-Example

Haskell
1
star
24

Clash-of-Code-Clojure

Clash of Code Clojure dev starter
Clojure
1
star