• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Next Generation Programming Language

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

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