{"id":23949765,"url":"https://github.com/carter907/logic-loop","last_synced_at":"2026-04-11T06:02:12.153Z","repository":{"id":240786953,"uuid":"803466646","full_name":"Carter907/logic-loop","owner":"Carter907","description":"A Full-stack web app for practicing your logic skills backed meta's Ollama platform.","archived":false,"fork":false,"pushed_at":"2025-01-27T21:46:10.000Z","size":793,"stargazers_count":0,"open_issues_count":2,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-13T15:40:38.400Z","etag":null,"topics":["fullstack","llama3-1","ollama","single-page-app","spring-boot","studying","svelte","vite"],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Carter907.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-05-20T19:23:28.000Z","updated_at":"2025-01-27T21:46:13.000Z","dependencies_parsed_at":"2024-05-20T22:32:22.463Z","dependency_job_id":"543a5d69-165c-40a3-84c9-8188399a6391","html_url":"https://github.com/Carter907/logic-loop","commit_stats":{"total_commits":4,"total_committers":2,"mean_commits":2.0,"dds":0.5,"last_synced_commit":"020e03438af290f7fddcb327a2880d7b56ac3c28"},"previous_names":["carter907/prop-logic-mastery","carter907/logic-loop"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Carter907%2Flogic-loop","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Carter907%2Flogic-loop/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Carter907%2Flogic-loop/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Carter907%2Flogic-loop/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Carter907","download_url":"https://codeload.github.com/Carter907/logic-loop/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240449746,"owners_count":19803122,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["fullstack","llama3-1","ollama","single-page-app","spring-boot","studying","svelte","vite"],"created_at":"2025-01-06T11:51:30.043Z","updated_at":"2025-12-30T21:59:47.466Z","avatar_url":"https://github.com/Carter907.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"## Logic-Loop\n---\nThis app tests your logic skills by generating logic puzzles using natural language processing.\n\nThis project generates questions based on the propositional calculus of discrete mathematics. The goal is to use this API is to test your skills at logic.\nThe api itself is more focused on making the questions as accurate and effective as possible. \nThe program will have a system validate generated responses for correctness.\n\nFor instance, a question like...\n\n$$\ns \\implies q\n$$\n$$\n\\text{fill in the blank} \n$$\n$$\n\\therefore\\ q\n$$\n\nyou would answer $s$\n\nObviously, this is a very basic sample, but they would get more and more complex with development.\nThe end goal is to have an AI generate complex logical equivalances that you would deduce through inference rules.\n\nThe end goal:\n\ngenerate random questions similar to the following from my textbook:\n\n![image](https://github.com/user-attachments/assets/9a9f699e-1ad9-43cd-b61e-57e46872ed0b)\n![image](https://github.com/user-attachments/assets/83ca4fa6-17ab-4643-af71-25e2ade18f61)\n\nI believe that if we can make an API that uses an LLM and structured generation, we could replicit these sorts of questions.\nI want to do this because I think getting good at logic and deducing the validity of arguments is a fun and rewarding experience!\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcarter907%2Flogic-loop","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcarter907%2Flogic-loop","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcarter907%2Flogic-loop/lists"}