There are no reviews yet. Be the first to send feedback to the community and the maintainers!
emacs.d
My Emacs configuration, literately πElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.OCamlCheatSheet
Reference of basic commands to get comfortable with OCaml.CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.PrologCheatSheet
Basics of relational programming with Prolog βPROgramming in LOGic ^_^PythonCheatSheet
Quick reference to a tremendously accessible high-level language ---executable pseudocode!repl-driven-development
Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs!AgdaCheatSheet
Basics of the dependently-typed functional language Agda ^_^ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (β’Μα΄β’Μ)ΩHaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-upsFSharpCheatSheet
Reference sheet of the basics of F# ^_^OzCheatSheet
Basics of the Oz/Mozart language ^_^org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.ClojureCheatSheet
Quick reference to a modern Lisp :-)CoqCheatSheet
Reference sheet for the Coq language.easy-extensibility
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!lf
A Language Features library for Emacs Lispmultistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''alhassy.github.io
My personal blog (β’Μα΄β’Μ)ΩRustCheatSheet
Rust β C + OCamlAngularJSCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!CCheatSheet
Basics of the tremendously ubiquitous C language that permeates most of computing!interactive-way-to-c
Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.CalcCheck
Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheckdesign-patterns-higher-order
Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.delta-hacks-ML-workshop
DeltaHacks 2020 Workshop on Supervised Machine LearningVueCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!spacemacs
My Spacemacs Configuration ---Literately πLove Open Source and this site? Check out how you can help us