freeman42x
Artificial General Intelligence Engineer 🤖 Open Source Optimizations - Increased Human Productivity/Intelligence - AGI - Happy Ever After Tech Singularity 💝
Guardians of Life@ancstrsim-v4.2
Pinned Repositories
awesome-agda-programming
Awesome Agda Programming
awesome-artificial-general-intelligence
Resources about Artificial General Intelligence
blog
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
Clash-of-Code
Clash of Code local dev starter
Clash-of-Code-Streamers
Clash of Code Streamers
coc-enhancer
dag-file-format
.dag File Format
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.
TimeLogger
freeman42x's Repositories
freeman42x/awesome-artificial-general-intelligence
Resources about Artificial General Intelligence
freeman42x/haskell-editor-setup
Easy instructions for setting up Haskell editors / IDEs on any major operating system.
freeman42x/haskell-streamers
List of Haskell streamers on Twitch, YouTube, etc.
freeman42x/blog
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
freeman42x/awesome-agda-programming
Awesome Agda Programming
freeman42x/coc-enhancer
freeman42x/Clash-of-Code-Streamers
Clash of Code Streamers
freeman42x/dag-file-format
.dag File Format
freeman42x/Clash-of-Code
Clash of Code local dev starter
freeman42x/Clash-of-Code-Clojure
Clash of Code Clojure dev starter
freeman42x/Clash-of-Code-CSharp
Clash of Code CSharp dev starter
freeman42x/Clash-of-Code-Rust
Clash of Code Rust dev starter
freeman42x/dag-to-agda
.dag to .agda converter
freeman42x/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
freeman42x/LagdaMdToLagda
Convert file content from `.lagda.md` to `.lagda` format
freeman42x/plfa.github.io
Introduction to programming language theory in Agda
freeman42x/ultimate-software-list
Software list chosen to be close to best in class for the functions it fulfills
freeman42x/BetterDiscord
Better Discord enhances Discord desktop app with new features.
freeman42x/codingame
CodinGame exercises
freeman42x/haskell-gi-example
freeman42x/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
freeman42x/langchain
⚡ Building applications with LLMs through composability ⚡
freeman42x/LeetCode
LeetCode local dev starter
freeman42x/lorri
Your project’s nix-env [maintainer=@Profpatsch,@nyarly]
freeman42x/plfa_exercises
freeman42x/prim-uniq
Opaque unique identifiers in primitive state monads
freeman42x/razvan-flavius-panda.github.io
Răzvan Flavius Panda's Blog
freeman42x/smos
A comprehensive self-management System in a TUI
freeman42x/splatmoji
Quickly look up and input emoji and/or emoticons/kaomoji on your GNU/Linux desktop via pop-up menu.
freeman42x/type-algebra
Haskell library for operations on type algebra, e.g. inhabitant counting