There are no reviews yet. Be the first to send feedback to the community and the maintainers!
awesome-artificial-general-intelligence
Resources about Artificial General Intelligencehaskell-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 softwareblog
Software engineering and artificial general intelligence blog of Rฤzvan Flavius Pandaawesome-agda-programming
Awesome Agda Programmingcoc-enhancer
ngpl
Next Generation Programming Languageformalize-all-the-things
Proofs about General Intelligence, Narow Intelligence, Ethics, etc.TimeLogger
dag-file-format
.dag File Formatspace-invader
Software that automates the process of being made a speaker on Twitter SpacesEverything-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 shellClash-of-Code-Streamers
Clash of Code Streamersfreeman42x-mind
Formalized task managementLagdaMdToLagda
Convert file content from `.lagda.md` to `.lagda` formatdag-to-agda
.dag to .agda converterClash-of-Code-CSharp
Clash of Code CSharp dev starterClash-of-Code-Rust
Clash of Code Rust dev starteruniversal-translator
Real time universal translatorultimate-software-list
Software list chosen to be close to best in class for the functions it fulfillsRealityQuest
Computer activity loggerElectron-Miso-Example
Clash-of-Code-Clojure
Clash of Code Clojure dev starterLove Open Source and this site? Check out how you can help us