terrematte/AssistenteArg
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
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.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#1016923GitHub System ID
terrematteOrganization / User
PublicVisibility
ActiveCatalog Status
More from terrematte
terrematte/Logic-Dojo
Some tools for running Logic Dojos
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.