terrematte/Logic-Dojo
Some tools for running Logic Dojos
Try Ruby is a interactive shell that quickly and whimsically teaches the Ruby programming language. Originally _why's idea, it has been recreated from the ground up by Rubyists who have a passion for Ruby and for teaching their fellow (wo)man how to program.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Some tools for running Logic Dojos
An interactive tutorial to begin learning with OCaml
Public repository.
We propose a set of Learning Object for teaching Logic Applied to Computer Science: the Logicamente. The tools that integrate the system aim to illustrate fundamental concepts and algorithms from Logic, as well as to allow students to conduct interactive practical experiments involving the understanding of those concepts.