{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Formality-image","owner":"Soonad","isFork":false,"description":"Reads a directory or file and creates a Formality file for each image","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-05T09:29:59.895Z"}},{"type":"Public","name":"Formality-Core","owner":"Soonad","isFork":false,"description":"Specification of the Formality proof and programming language","allTopics":["lambda-calculus","type-system","funcional-programming","programming-language","formality"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":3,"issueCount":1,"starsCount":40,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-05T05:27:51.224Z"}},{"type":"Public","name":"Forall-Server-Legacy","owner":"Soonad","isFork":false,"description":"Hosts Formality files","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":19,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-24T00:44:57.251Z"}},{"type":"Public","name":"Unilog","owner":"Soonad","isFork":false,"description":"Simple event log server","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":14,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-24T00:41:27.365Z"}},{"type":"Public","name":"moonadog_bot","owner":"Soonad","isFork":false,"description":"Telegram bot used as assistant for Formality lib codes and other info","allTopics":["bot","telegram-bot"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":19,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T20:19:35.422Z"}},{"type":"Public","name":"Formality-App","owner":"Soonad","isFork":false,"description":"Front-end application renderer for Formality-Lang","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":11,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T11:33:08.673Z"}},{"type":"Public","name":"moonad.org-old","owner":"Soonad","isFork":false,"description":"Website for Moonad","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":18,"issueCount":3,"starsCount":4,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T09:12:25.027Z"}},{"type":"Public","name":"moonad-logs","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-12T10:41:46.411Z"}},{"type":"Public","name":"Formality-EVM-example","owner":"Soonad","isFork":false,"description":"Example compilation of a Formality program to the EVM","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":3,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-05T02:54:57.560Z"}},{"type":"Public","name":"Forall-Server","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":4,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-04T21:17:40.540Z"}},{"type":"Public","name":"FormalityFM","owner":"Soonad","isFork":false,"description":"Formality in itself","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":1,"starsCount":19,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-30T18:11:27.537Z"}},{"type":"Public","name":"Moonad.org.snapshots","owner":"Soonad","isFork":false,"description":"Snapshots of Moonad.org's database","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-02T00:14:54.450Z"}},{"type":"Public","name":"Moonad","owner":"Soonad","isFork":false,"description":"An upcoming operating system built on Type-Theory","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":1,"starsCount":43,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-01T23:07:58.944Z"}},{"type":"Public","name":"Formality-vscode","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-22T11:36:15.067Z"}},{"type":"Public","name":"Bitlog","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-23T19:25:00.563Z"}},{"type":"Public","name":"Formality-Lang","owner":"Soonad","isFork":false,"description":"Temporary repository for the migration to the new version of Formality-Lang","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-18T03:45:20.532Z"}},{"type":"Public","name":"Base.fm","owner":"Soonad","isFork":false,"description":"Standard library for the Formality language","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":0,"starsCount":18,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-22T15:53:10.473Z"}},{"type":"Public","name":"Scott-Benchmarks","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-22T15:46:44.872Z"}},{"type":"Public","name":"Formality-Haskell","owner":"Soonad","isFork":false,"description":"A Haskell implementation of the Formality language","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":18,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-09T05:39:11.812Z"}},{"type":"Public","name":"Formality-WordMap-Benchmark","owner":"Soonad","isFork":false,"description":"Benchmarking the WordMap pure functional data structure compiled from Formality to JavaScript","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-14T15:09:28.574Z"}},{"type":"Public","name":"Formbase","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-02T16:49:49.589Z"}},{"type":"Public","name":"bitlog-server","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-26T15:56:39.910Z"}},{"type":"Public","name":"Formality-EVM","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-16T20:56:44.715Z"}},{"type":"Public","name":"Superstruct.fm","owner":"Soonad","isFork":false,"description":"Extensions and Abstractions over Base.fm","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-14T03:03:28.833Z"}},{"type":"Public","name":"Whitepaper","owner":"Soonad","isFork":false,"description":"Moonad: a Peer-to-Peer Operating System","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":101,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-07T12:44:22.208Z"}},{"type":"Public","name":"Formality-Agda","owner":"Soonad","isFork":false,"description":"The Formalization of Formality","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-03T17:38:13.737Z"}},{"type":"Public","name":"Moonad-Preact","owner":"Soonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-14T20:38:04.936Z"}},{"type":"Public","name":"docs.formality-lang.org","owner":"Soonad","isFork":false,"description":"Legacy - Formality Language documentation (ReadTheDocs)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-14T14:16:30.076Z"}},{"type":"Public","name":"Formality-Docs","owner":"Soonad","isFork":false,"description":"Formality documentation","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-13T21:18:35.759Z"}},{"type":"Public","name":"language-formality","owner":"Soonad","isFork":false,"description":"Syntax highlight for Formality on Atom","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-06T15:04:22.745Z"}}],"repositoryCount":35,"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":"Soonad repositories"}