freeman42x/blog freeman42x/blog

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
  • License
    MIT License
  • Created about 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
freeman42x/blog
github

freeman42x

Reviews

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

Repository Details

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

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

awesome-agda-programming

Awesome Agda Programming
14
star
6

coc-enhancer

TypeScript
8
star
7

ngpl

Next Generation Programming Language
Haskell
6
star
8

formalize-all-the-things

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

TimeLogger

Haskell
3
star
10

dag-file-format

.dag File Format
2
star
11

space-invader

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

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
13

Clash-of-Code-Streamers

Clash of Code Streamers
2
star
14

freeman42x-mind

Formalized task management
Agda
1
star
15

LagdaMdToLagda

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

dag-to-agda

.dag to .agda converter
1
star
17

Clash-of-Code-CSharp

Clash of Code CSharp dev starter
C#
1
star
18

Clash-of-Code

Clash of Code local dev starter
Haskell
1
star
19

Clash-of-Code-Rust

Clash of Code Rust dev starter
Rust
1
star
20

universal-translator

Real time universal translator
TypeScript
1
star
21

ultimate-software-list

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

RealityQuest

Computer activity logger
JavaScript
1
star
23

Electron-Miso-Example

Haskell
1
star
24

Clash-of-Code-Clojure

Clash of Code Clojure dev starter
Clojure
1
star