{"repo":"frabjous/logicpenguin","free":true,"listed":false,"github":"https://github.com/frabjous/logicpenguin","clone":"git clone https://github.com/frabjous/logicpenguin.git","description":"🐧 Logic Penguin 🐧 aims to be a flexible, extensible, open source, and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems.","language":"JavaScript","stars":25,"topics":["canvas","derivation","education","exercises","logic","lti","moode","philosophy-course","proofchecker"],"license":"GPL-3.0","category":"self-hosted-apps","readme_excerpt":"Logic Penguin 🐧 Logic Penguin 🐧 aims to be a flexible, extensible, open source, and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems such as moodle and canvas using the LTI protocol. It is all written in JavaScript so code can be shared browser-side and server-side. An express.js-based web-server is included to handle the LTI Tool Provider side of things, save and score exercises, submit grades, etc. The project bears some similarities to the Carnap.io project, but has a narrower focus on providing exercises for introductory students, and um, is not written in Haskell. 🚧 It is still relatively early in its development. More documentation to come. 🚧 Working examples Working examples of the problems and their interface can be found embedded in my own publicly accessible interactive lecture notes for my Phil 110 sections at UMass. For truth tables: For symbolic translations (scroll near to bottom): For Kalish-Montague style derivations using Hardegree’s system: Obviously, the examples do not allow for saving answers since they do not use the LMS login. Progress roadmap and todo - [x] Implement the core ES6 JavaScript Class modules shared by all the exercise types - [x] Implement all exercise types necessary for Hardegree’s Symbolic Logic: A First Course for UMass Phil 110 (Intro to Logic), including correctness checkers for all problem types - [x] Multiple choice, including true/false - [x] Conclusion identificatio","default_branch":null,"files":null,"tree":[],"storefront":"/r/frabjous","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/frabjous/logicpenguin/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}