alhassy/gentle-intro-to-reflection

Stars
85
Rank 375,190 (Top 8 %)
Language Agda
Created about 5 years ago
Updated about 2 years ago

alhassy/gentle-intro-to-reflection

alhassy

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

A slow-paced introduction to reflection in Agda. ---Tactics!

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.

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-ups

FSharpCheatSheet

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 Lisp

multistage-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 + OCaml

RubyCheatSheet

Reference of basic commands to get comfortable with Ruby ---Pure OOP!

AngularJSCheatSheet

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 CalcCheck

design-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 Learning

VueCheatSheet

A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!

spacemacs

My Spacemacs Configuration ---Literately 😊