Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
DeltaHacks 2020 Workshop on Supervised Machine Learning
More Repositories
1
emacs.d
My Emacs configuration, literately ๐Emacs Lisp
384
2
ElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.
221
3
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
207
4
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^HTML
182
5
CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.TeX
160
6
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
Agda
85
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
79
8
OCamlCheatSheet
Reference of basic commands to get comfortable with OCaml.
77
9
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
70
10
PrologCheatSheet
Basics of relational programming with Prolog โPROgramming in LOGic ^_^Prolog
64
11
PythonCheatSheet
Quick reference to a tremendously accessible high-level language ---executable pseudocode!
45
12
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
13
AgdaCheatSheet
Basics of the dependently-typed functional language Agda ^_^
Agda
37
14
ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (โขฬแดโขฬ)ูEmacs Lisp
28
15
HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
27
16
holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-upsEmacs Lisp
23
17
FSharpCheatSheet
Reference sheet of the basics of F# ^_^
21
18
OzCheatSheet
Basics of the Oz/Mozart language ^_^
17
19
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.Emacs Lisp
16
20
ClojureCheatSheet
Quick reference to a modern Lisp :-)
15
21
CoqCheatSheet
Reference sheet for the Coq language.
15
22
easy-extensibility
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!JavaScript
14
23
lf
A Language Features library for Emacs LispEmacs Lisp
12
24
multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''Haskell
10
25
alhassy.github.io
My personal blog (โขฬแดโขฬ)ูHTML
7
26
RustCheatSheet
Rust โ C + OCaml
6
27
RubyCheatSheet
Reference of basic commands to get comfortable with Ruby ---Pure OOP!HTML
6
28
AngularJSCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
6
29
CCheatSheet
Basics of the tremendously ubiquitous C language that permeates most of computing!
3
30
interactive-way-to-c
Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.
3
31
CalcCheck
Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck
2
32
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
33
VueCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
1
34
spacemacs
My Spacemacs Configuration ---Literately ๐
1