alhassy/PrologCheatSheet alhassy/PrologCheatSheet

  • Stars
    star
    64
  • Rank 478,218 (Top 10 %)
  • Language
    Prolog
  • Created over 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alhassy/PrologCheatSheet
github

alhassy

Reviews

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

Repository Details

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

More Repositories

1

emacs.d

My Emacs configuration, literately 😄
Emacs Lisp
384
star
2

ElispCheatSheet

Quick reference to the core language of Emacs ---Editor MACroS.
221
star
3

JavaScriptCheatSheet

Quick reference to the tremendously accessible high-level language of the web ^_^
207
star
4

org-special-block-extras

A number of new custom blocks and link types for Emacs' Org-mode ^_^
HTML
182
star
5

CheatSheet

Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
TeX
160
star
6

gentle-intro-to-reflection

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

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.
HTML
80
star
8

OCamlCheatSheet

Reference of basic commands to get comfortable with OCaml.
77
star
9

CatsCheatSheet

This project is to contain a listing of common theorems in elementary category theory.
70
star
10

PythonCheatSheet

Quick reference to a tremendously accessible high-level language ---executable pseudocode!
45
star
11

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!
Emacs Lisp
44
star
12

AgdaCheatSheet

Basics of the dependently-typed functional language Agda ^_^
Agda
37
star
13

ob-latex-as-png

Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
Emacs Lisp
28
star
14

HaskellCheatSheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^
27
star
15

holy-books

An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
Emacs Lisp
23
star
16

FSharpCheatSheet

Reference sheet of the basics of F# ^_^
21
star
17

OzCheatSheet

Basics of the Oz/Mozart language ^_^
17
star
18

org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp
16
star
19

ClojureCheatSheet

Quick reference to a modern Lisp :-)
15
star
20

CoqCheatSheet

Reference sheet for the Coq language.
15
star
21

easy-extensibility

Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
JavaScript
14
star
22

lf

A Language Features library for Emacs Lisp
Emacs Lisp
12
star
23

multistage-programming-taha

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Haskell
10
star
24

alhassy.github.io

My personal blog (•̀ᴗ•́)و
HTML
7
star
25

RustCheatSheet

Rust ≈ C + OCaml
6
star
26

RubyCheatSheet

Reference of basic commands to get comfortable with Ruby ---Pure OOP!
HTML
6
star
27

AngularJSCheatSheet

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

CCheatSheet

Basics of the tremendously ubiquitous C language that permeates most of computing!
3
star
29

interactive-way-to-c

Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.
3
star
30

CalcCheck

Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck
2
star
31

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.
Java
2
star
32

delta-hacks-ML-workshop

DeltaHacks 2020 Workshop on Supervised Machine Learning
HTML
1
star
33

VueCheatSheet

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

spacemacs

My Spacemacs Configuration ---Literately 😊
1
star