{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"genetic","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-31T04:42:04.975Z"}},{"type":"Public archive","name":"phx_realtime","owner":"dannypsnl-fork","isFork":false,"description":"Elixir: Phoenix &amp; Channel","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-13T03:45:54.200Z"}},{"type":"Public","name":"whisper","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-27T10:30:44.671Z"}},{"type":"Public","name":"usualtt","owner":"dannypsnl-fork","isFork":false,"description":"usual type theory","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-27T09:54:44.091Z"}},{"type":"Public archive","name":"starttt","owner":"dannypsnl-fork","isFork":false,"description":"Start a type theory","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-09T23:25:01.320Z"}},{"type":"Public template","name":"racket-project","owner":"dannypsnl-fork","isFork":false,"description":"Racket Project template for myself","allTopics":["template-project","racket"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-21T14:17:05.686Z"}},{"type":"Public archive","name":"redex","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-14T17:26:17.474Z"}},{"type":"Public","name":"forth_parser","owner":"dannypsnl-fork","isFork":false,"description":"Just record how to use menhir","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-02T08:47:07.252Z"}},{"type":"Public","name":"TLA-plus-learn","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TLA","color":"#4b0079"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-21T13:10:12.973Z"}},{"type":"Public","name":"racket-smalltalk","owner":"dannypsnl-fork","isFork":true,"description":"Racket libraries for building Smalltalk-like languages.","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-19T04:24:53.852Z"}},{"type":"Public","name":"koka-learn","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-20T22:42:56.762Z"}},{"type":"Public","name":"first-order-logic","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-15T16:29:29.163Z"}},{"type":"Public","name":"counter_mix","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-27T01:52:07.150Z"}},{"type":"Public","name":"Orchis-theme","owner":"dannypsnl-fork","isFork":true,"description":"Orchis is a [Material Design](<a href=\"https://material.io\" rel=\"nofollow\">https://material.io</a>) theme for GNOME/GTK based desktop environments.","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":216,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-27T12:52:22.766Z"}},{"type":"Public","name":"tree-sitter-racket","owner":"dannypsnl-fork","isFork":false,"description":"racket parser write in tree-sitter","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-10T09:31:49.370Z"}},{"type":"Public","name":"circuit","owner":"dannypsnl-fork","isFork":false,"description":"circuit simulator","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-08T11:03:34.615Z"}},{"type":"Public","name":"lcl","owner":"dannypsnl-fork","isFork":false,"description":"learn common-lisp","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-30T16:31:43.693Z"}},{"type":"Public","name":"re-algo","owner":"dannypsnl-fork","isFork":false,"description":"A simple algorithm developing tool","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-13T20:54:48.287Z"}},{"type":"Public","name":"hauska","owner":"dannypsnl-fork","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-30T05:26:26.751Z"}},{"type":"Public","name":"Nanopass.jl","owner":"dannypsnl-fork","isFork":false,"description":"Nanopass in Julia","allTopics":["compiler","nanopass","nanopass-framework"],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-13T07:15:16.083Z"}},{"type":"Public","name":"string-extension","owner":"dannypsnl-fork","isFork":false,"description":"extend racket string to formatted string","allTopics":["string","racket","reader-macros"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-11T15:00:44.640Z"}},{"type":"Public","name":"animegan2-pytorch","owner":"dannypsnl-fork","isFork":true,"description":"PyTorch implementation of AnimeGANv2","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":640,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-29T23:31:18.216Z"}},{"type":"Public","name":"renderer","owner":"dannypsnl-fork","isFork":false,"description":"Learn from <a href=\"https://github.com/ssloy/tinyrenderer\">https://github.com/ssloy/tinyrenderer</a>","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-02T11:55:54.415Z"}},{"type":"Public","name":"svelte_web","owner":"dannypsnl-fork","isFork":false,"description":"A demo that puts svelte &amp; phoenix together","allTopics":[],"primaryLanguage":{"name":"Elixir","color":"#6e4a7e"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-28T17:36:59.737Z"}},{"type":"Public","name":"auto-diff","owner":"dannypsnl-fork","isFork":false,"description":"Automatic Differentiation","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-12T04:09:28.980Z"}},{"type":"Public","name":"jsonrpc","owner":"dannypsnl-fork","isFork":false,"description":"jsonrpc: client and server","allTopics":["racket","jsonrpc"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-11T15:31:50.568Z"}},{"type":"Public","name":"xdp-tutorial","owner":"dannypsnl-fork","isFork":true,"description":"XDP tutorial","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":574,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-08T18:02:57.096Z"}},{"type":"Public","name":"idris-gtk","owner":"dannypsnl-fork","isFork":false,"description":"Idris2 GTK binding","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-07T21:31:49.268Z"}},{"type":"Public","name":"datatt","owner":"dannypsnl-fork","isFork":true,"description":"A dependent type theory with user defined data types","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-01T09:20:53.668Z"}},{"type":"Public template","name":"idris-project","owner":"dannypsnl-fork","isFork":false,"description":"idris2 project template for myself","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-30T07:23:39.573Z"}}],"repositoryCount":97,"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":"dannypsnl-fork repositories"}