{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"derive4j","owner":"derive4j","isFork":false,"description":"Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.","allTopics":["algebra","functional-programming","fold","annotation-processor","algebraic-data-types","java-8","discriminated-unions","laziness","exhaustiveness-checking","tagged-unions","java","visitor","optics","visitor-pattern","sum-types","derive4j","catamorphisms"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":15,"starsCount":559,"forksCount":50,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-01T03:28:00.296Z"}},{"type":"Public","name":"hkt","owner":"derive4j","isFork":false,"description":"Higher Kinded Type machinery for Java","allTopics":["typechecker","functional-programming","java-8","annotation-processor","hk-encoding","hkt"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":8,"starsCount":77,"forksCount":9,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-28T12:03:19.807Z"}},{"type":"Public","name":"derive4j-fj","owner":"derive4j","isFork":false,"description":"Automatic derivation of functional-java typeclasse instances and optics","allTopics":["java","functional-programming","java-8","typeclasses","derive4j","functionaljava"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":2,"starsCount":21,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-06T17:55:52.399Z"}},{"type":"Public","name":"derive4j-json","owner":"derive4j","isFork":false,"description":"Sketch for a pure FP Json API (WIP)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-21T20:09:40.709Z"}}],"repositoryCount":4,"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":"Repositories"}