Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by jwiegley
A curated list of projects in awesome lists by jwiegley .
https://github.com/jwiegley/use-package
A use-package declaration for simplifying your .emacs
autoload deferred-loading emacs emacs-lisp handler keymap keyword melpa
Last synced: 31 Jul 2024
https://github.com/jwiegley/git-scripts
A bunch of random scripts I've either written, downloaded or clipped from #git.
Last synced: 31 Jul 2024
https://github.com/jwiegley/emacs-async
Simple library for asynchronous processing in Emacs
Last synced: 01 Aug 2024
https://jwiegley.github.io/git-from-the-bottom-up/
An introduction to the architecture and design of the Git content manager
Last synced: 02 Aug 2024
https://github.com/jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Last synced: 31 Jul 2024
https://github.com/jwiegley/dot-emacs
My .emacs.el file and other personal Emacs goodies
Last synced: 02 Aug 2024
https://github.com/jwiegley/coq-haskell
A library for formalizing Haskell types and functions in Coq
Last synced: 02 Aug 2024
https://github.com/jwiegley/org-mode
This is a very old fork of Org-mode, but it's the version I still use every day
Last synced: 10 Aug 2024
https://github.com/jwiegley/git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
Last synced: 02 Aug 2024
https://github.com/jwiegley/nix-update-el
An Emacs command for updating fetch declarations in place
Last synced: 05 Aug 2024
https://github.com/jwiegley/use-package-examples
Example declarations to demonstrate the features of use-package
Last synced: 06 Aug 2024
https://github.com/jwiegley/git-annex-el
Emacs integration for the git-annex tool by Joey Hess
Last synced: 05 Aug 2024
https://github.com/jwiegley/emacs-release
A history of Emacs releases, under version control
Last synced: 06 Aug 2024
https://github.com/jwiegley/scripts
Various and sundry shell scripts used on my system
Last synced: 02 Aug 2024
https://github.com/jwiegley/haskell-to-c
Sample code to build a C library from a Haskell module, then call it from C
Last synced: 02 Aug 2024
https://github.com/jwiegley/springboard
An Emacs mode based on Helm that makes it easy to bounce around projects
Last synced: 31 Jul 2024
https://github.com/jwiegley/hello
Hello world project templates for getting started quickly with Nix
Last synced: 15 Aug 2024
https://github.com/jwiegley/z3-generate-api
A tool to generate Haskell wrappers around the Z3 C API
Last synced: 02 Aug 2024