ag91/studying-verified-functional-programming-in-agda

Stars
1
Language
Nix
Created about 6 years ago
Updated about 2 years ago

ag91/studying-verified-functional-programming-in-agda

ag91

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

Keeping track of my progress studying this awesome book

code-compass

A set of code analyses that assist you in tackling software complexity

moldable-emacs

Adapting Emacs for moldable development

emacs-buddy

Emacs Buddy initiative to help new Emacs users with their struggles

emacs-with-nyxt

Some code to make Emacs interact with Nyxt

writer-word-goals

A countdown for your writing word goals

ya-org-capture

Integrate YASnippet and Yankpad in your Org Capture workflow.

org-blk-uri

Utility to inject Org Mode source blocks from a URI at point

ol-emacs-slack

Org links for emacs-slack (https://github.com/yuya373/emacs-slack)

ag91.github.io

escalator

Escalate your Helm searches

on-lisp-macros

Learning how cl macros work

ob-gore

Org Babel support to run Go with Gore REPL

scala-cli-repl

Emacs REPL for scala-cli

on-lisp-continuations

Learn continuations in Common Lisp

wordnet-utils

EasyOrgEnsime

Little elisp library for literate programming in Scala

org-active-statistics

An addon to org mode for closing tasks automatically when subtasks are done

emacs-slack-org-mode-example

An example of how to combine emacs-slack and org-mode