terrematte/Logic-Dojo
Some tools for running Logic Dojos
Developer Profile
terrematte
Discovered public repositories for terrematte in the GitHub catalog.
terrematte/trylogic
An interactive tutorial to begin learning with OCaml
terrematte/TryRuby
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.
terrematte/logic-propgenerator
Public repository.
terrematte/logicamente_deprecated
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.