Categories
Similar Boards
Suggest a Link

Langs

You must be logged in to view the contents of this board.

Lang Resources

Pin
  1. datalog download | SourceForge.net

Haskell

Pin
  1. CIS194
  2. bitemyapp/learnhaskell: Learn Haskell
  3. Haskell Stack Mega-Tutorial - YouTube
  4. Learn You a Haskell for Great Good!
  5. Happy Learn Haskell Tutorial
  6. Haskell Data Analysis Cookbook
  7. 9 more

OCaml

Pin
  1. Exercise Platform for the OCaml MOOC

Julia

Pin
  1. Julia Downloads
  2. Bezanson: Julia: A fresh approach to numerical computing - Google Scholar
  3. JuliaBox

Scala

Pin
  1. ScalaFiddle
  2. FP Principles in Scala: course
  3. FP Principles in Scala: videos

Proof assistants

Pin
  1. Proof assistant

Coq

Pin
  1. The Coq Proof Assistant
  2. Coq

Isabelle

Pin
  1. Isabelle
  2. Isabelle (proof assistant)

Lambda Calculus

Pin
  1. LAMBDA Functions: Powerful And Elegant Abstractions - YouTube
  2. PLT: Lambda Calculus - Basics 1 - YouTube
  3. Calculus of constructions
  4. Dependent type - Wikiwand
  5. System F - Wikiwand
  6. Typed lambda calculus - Wikiwand
  7. 2 more

C

Pin
  1. SafeStack — Clang 7 documentation
  2. C11 Lock-free Stack « null program
  3. x86 - Cannot write to screen memory in C - Stack Overflow

C++

Pin
  1. Copy Constructor / Assignment Operators · A Guide to Porting C and C++ code to Rust
  2. c++ - What are near, far and huge pointers? - Stack Overflow

LLVM

Pin
  1. The LLVM
  2. Creating a toy language with the Python, LLVM and the IPython web notebook, part 1 Rich...
  3. A Brief Introduction to LLVM Morgan Wilde • 18K views

Python

Pin
  1. Python 3 Installation & Setup Guide – Real Python
  2. Distribution - Anaconda
  3. Get Ammonite

    Use Scala language for scripting

Latex

Pin
  1. Mathapedia | Interactive Math Textbooks

Markdown

Pin
  1. Fuck Yeah Markdown
  2. Readability→Markdown (raw)
  3. Page→Markdown
  4. Page→HTML
  5. Readability→Markdown

MathJax

Pin
  1. Modifying Math on the Page — MathJax 2.7 documentation
  2. mathjax/MathJax-docs: MathJax documentation. Beautiful math in all browsers. Beautifull...

Prolog

Pin
  1. GNU Prolog download | SourceForge.net
  2. The Prolog Development Tool - A Prolog IDE for Eclipse [SE & SDA Wiki]
  3. prolog - YouTube
  4. Prolog - Wikibooks, open books for an open world
  5. Unification (computer science) - Wikiwand
0 Comment
Comments or thoughts?
Submit
Cancel
or
Email a link to this board
Share this board on Facebook
Share this board on Twitter
Notice label will go here