aschaap

aschaap's Stars

• alhassy/emacs.d

  My Emacs configuration, literately :smile:

  Language:Emacs Lisp39215

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.7k4.9k

• aguslr/multibootusb

  A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files

  Language:Shell581156

• thias/glim

  GRUB Live ISO Multiboot

  Language:Shell712147

• eficode-academy/git-katas

  A set of exercises for deliberate Git Practice

  Language:Shell1.4k911

• SilenceIM/Silence

  PROJECT MOVED: https://git.silence.dev/Silence/Silence-Android/ (GitHub is just a mirror.)

  Language:Java1.1k155

• JacquesCarette/finally-tagless

  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)

  Language:OCaml43

• metaocaml/ber-metaocaml

  Unofficial git mirror of the BER MetaOCaml patchset.

  Language:OCaml644

• metaocaml/metaocaml-bibliography

  MetaML and MetaOCaml bibliography

  864