Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
AlterDB
A thorough example of a Haskell web-application using the Yesod web framework and Meilisearch.
awesome-decentralized
A curated list of awesome projects, books, articles, tutorials, courses and other useful resources regarding decentralized technologies. 🌊
awesome-unison
Unison language links, libraries etc
blog
Deadobe
A free culture list of free software alternatives to Adobe products, MIRROR: https://codeberg.org/Scholablade/Deadobe
DenotativeLC
Design and Implementation of the DenotativeLC Programming Language
org-write
Org mode writing package
The-Legend-Of-Gnu
vim-transition
This is an expiremental way of transitioning from Vim to Neovim by Bash
scholablade's Repositories
scholablade/Deadobe
A free culture list of free software alternatives to Adobe products, MIRROR: https://codeberg.org/Scholablade/Deadobe
scholablade/awesome-unison
Unison language links, libraries etc
scholablade/DenotativeLC
Design and Implementation of the DenotativeLC Programming Language
scholablade/The-Legend-Of-Gnu
scholablade/AlterDB
A thorough example of a Haskell web-application using the Yesod web framework and Meilisearch.
scholablade/org-write
Org mode writing package
scholablade/vim-transition
This is an expiremental way of transitioning from Vim to Neovim by Bash
scholablade/agda
Agda is a dependently typed programming language / interactive theorem prover.
scholablade/awesome-decentralized
A curated list of awesome projects, books, articles, tutorials, courses and other useful resources regarding decentralized technologies. 🌊
scholablade/blog
scholablade/distributed-process-backend-p2p
scholablade/distributed-process-simplelocalnet
Simple cloud haskell backend for local networks
scholablade/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
scholablade/STX