freeman42x Goto Github PK

awesome-agda-programming

Awesome Agda Programming

awesome-artificial-general-intelligence

Resources about Artificial General Intelligence

betterdiscord

Better Discord enhances Discord desktop app with new features.

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-clojure

Clash of Code Clojure dev starter

clash-of-code-csharp

Clash of Code CSharp dev starter

clash-of-code-rust

Clash of Code Rust dev starter

clash-of-code-streamers

Clash of Code Streamers

coc-enhancer

codingame

CodinGame exercises

commercialhaskell

A special interest group for companies and individuals interested in commercial usage of Haskell

dag-file-format

.dag File Format

dag-to-agda

.dag to .agda converter

eclipsefp-htf-test-example

electron-miso-example

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

fp-course

Functional Programming Course

freeplane

gradle2nix

Generate Nix expressions based on Gradle projects. (abandoned for now)

haskell-book

Haskell Programming: From First Principles book exercises solutions

haskell-codewars

Haskell CodeWars solutions

haskell-editor-setup

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

haskell-gi-example

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

haskell-streamers

List of Haskell streamers on Twitch, YouTube, etc.

haskell-study-dublin

Launch your own Haskell study group. Now.

hdx4vsc

Haskell Debugger Extension for Visual Studio Code

hedgehog-fn

Function generation for Hedgehog