freeman42x/dag-to-agda

Stars
1
Language
License
MIT License
Created over 1 year ago
Updated over 1 year ago

freeman42x/dag-to-agda

freeman42x

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

.dag to .agda converter

awesome-artificial-general-intelligence

Resources about Artificial General Intelligence

haskell-editor-setup

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

haskell-streamers

List of Haskell streamers on Twitch, YouTube, etc.

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

blog

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

awesome-agda-programming

Awesome Agda Programming

coc-enhancer

ngpl

Next Generation Programming Language

formalize-all-the-things

Proofs about General Intelligence, Narow Intelligence, Ethics, etc.

TimeLogger

dag-file-format

.dag File Format

space-invader

Software that automates the process of being made a speaker on Twitter Spaces

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

Clash-of-Code-Streamers

Clash of Code Streamers

freeman42x-mind

Formalized task management

LagdaMdToLagda

Convert file content from `.lagda.md` to `.lagda` format

Clash-of-Code-CSharp

Clash of Code CSharp dev starter

Clash-of-Code

Clash of Code local dev starter

Clash-of-Code-Rust

Clash of Code Rust dev starter

universal-translator

Real time universal translator

ultimate-software-list

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

RealityQuest

Computer activity logger

Electron-Miso-Example

Clash-of-Code-Clojure

Clash of Code Clojure dev starter