Programming 1

Tools

Do you have any helpful tools? Either found or maybe even developed yourself? Notify us in the Forum and we can add them here!

ProofTrees 

https://neuralcoder3.github.io/prooftrees/

A tool to interactively use inference tree proofs/derivations like typing judgments.

 

Sheets 

https://ghpages.neuralcoder.de/ocaml_sheets/

A Google Sheet alternative but with OCaml.

 

OCaml Interpreter 

https://kamel.prog1.party/

An online interpreter for you to get started with Programming.

 

Factorio 

https://ghpages.neuralcoder.de/factorio-web/

A web game inspired by Factorio. You can automate the game with OCaml.

 

Resources

• Lecture Notes
• German textbook SML Programmierung (pdf) -- Version 2
• Introduction to Functional Programming and the Structure of Programming Languages using OCaml (pdf)
• Functional Programming in OCaml (textbook, Cornell) (accompanying videos)
• OCaml Manual
• OCaml API
• Video: Why learn functional programming?
• Alternative OCaml Interpreter
• Another Alternative OCaml Interpreter
• Math Preparatory Course Lecture Notes (also about proofs) (2022)