@freeman42x
github

freeman42x

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    528
  • Global Rank 55,039 (Top 2 %)
  • Followers 98
  • Following 127
  • Registered over 12 years ago
  • Most used languages
    Haskell
         37.5 %
    TypeScript
         12.5 %
    JavaScript
         12.5 %
    Agda     12.5 %
    Clojure
         6.3 %
    C#
         6.3 %
    Nix
         6.3 %
    Rust
         6.3 %

Top 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

RealityQuest

Computer activity logger
JavaScript
1
star
24

Electron-Miso-Example

Haskell
1
star
25

Clash-of-Code-Clojure

Clash of Code Clojure dev starter
Clojure
1
star