alhassy/OCamlCheatSheet

Stars
77
Rank 416,225 (Top 9 %)
Language
Created about 6 years ago
Updated over 5 years ago

alhassy/OCamlCheatSheet

alhassy

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

Reference of basic commands to get comfortable with OCaml.

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.

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 😊