{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"machina-ratiocinatrix.github.io","owner":"machina-ratiocinatrix","isFork":false,"description":"The 'Machina' using the 'Calculus Ratiocinator' - a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz","allTopics":["machina-ratiocinatrix"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T13:27:54.790Z"}},{"type":"Public","name":"reading-machine","owner":"machina-ratiocinatrix","isFork":false,"description":"A machine that reads texts analytically and syntopically.","allTopics":["ai","reading-machine"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T14:27:27.560Z"}},{"type":"Public","name":"thinking-machine","owner":"machina-ratiocinatrix","isFork":false,"description":"Thinking Machine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-25T15:32:37.619Z"}},{"type":"Public","name":"machina-ratiocinatrix","owner":"machina-ratiocinatrix","isFork":false,"description":"Machina Ratiocinatrix","allTopics":["ai","reasoning-machine","machina-ratiocinatrix","guessing-machine","knowing-machine","reading-machine"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T12:53:07.066Z"}},{"type":"Public","name":"knowing-machine","owner":"machina-ratiocinatrix","isFork":true,"description":"Knowing machine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T11:50:31.018Z"}},{"type":"Public","name":"guessing-machine","owner":"machina-ratiocinatrix","isFork":true,"description":"The guessing machine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-28T16:09:39.400Z"}},{"type":"Public","name":".github","owner":"machina-ratiocinatrix","isFork":false,"description":"publicly visible profile","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-15T15:09:12.736Z"}},{"type":"Public template","name":"machina-ratiocinatrix-template","owner":"machina-ratiocinatrix","isFork":false,"description":"Create a repo in your account or your organization account using this template, include all branches.","allTopics":["ai","ai-template","machina-ratiocinatrix","multilogues","multilogue"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T14:16:45.107Z"}},{"type":"Public","name":"reasoning-machine","owner":"machina-ratiocinatrix","isFork":true,"description":"The reasoning machine","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T12:45:51.653Z"}},{"type":"Public","name":"lingua-characteristica-universalis","owner":"machina-ratiocinatrix","isFork":true,"description":"Lingua Characteristica Universalis","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T14:30:18.858Z"}},{"type":"Public","name":"lingua-characteristica","owner":"machina-ratiocinatrix","isFork":true,"description":"Lingua Characteristica Universalis","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T14:12:39.658Z"}},{"type":"Public","name":"calculus-ratiocinator","owner":"machina-ratiocinatrix","isFork":true,"description":"Calculus Ratiocinator","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T13:57:50.916Z"}},{"type":"Public","name":"calculemus","owner":"machina-ratiocinatrix","isFork":false,"description":"Logical verification of probabilistic/language model 'intuitions'.","allTopics":["lisp","logic","prolog","probabilistic-programming","hypothesis-testing","llm","llm-inference"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T16:03:00.183Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"machina-ratiocinatrix repositories"}