{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"alg-csp","owner":"UniversalAlgebra","isFork":false,"description":"A paper by Bergman and DeMeo on algebraic approaches to constraint satisfaction problems","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-01T16:23:15.523Z"}},{"type":"Public","name":"TypeTopology","owner":"UniversalAlgebra","isFork":true,"description":"Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":42,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-12T12:37:19.563Z"}},{"type":"Public","name":"ProvingGround","owner":"UniversalAlgebra","isFork":true,"description":"Proving Ground: Tools for Automated Mathematics","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":38,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-31T15:00:23.974Z"}},{"type":"Public","name":"term-conditions","owner":"UniversalAlgebra","isFork":false,"description":"Research on the complexity of some properties of algebras","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-19T23:04:38.201Z"}},{"type":"Public archive","name":"lean-ualib","owner":"UniversalAlgebra","isFork":false,"description":"Lean library for Universal Algebra","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":2,"starsCount":8,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-20T15:02:14.202Z"}},{"type":"Public","name":"fg-free-lat","owner":"UniversalAlgebra","isFork":false,"description":"Research on finitely generated free lattices","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-12T00:14:11.214Z"}},{"type":"Public","name":"formalabstracts","owner":"UniversalAlgebra","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":43,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-23T02:52:27.960Z"}},{"type":"Public","name":"UAResources","owner":"UniversalAlgebra","isFork":false,"description":"Links, guidance, and advice about universal algebra learning and research","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-16T16:55:06.733Z"}},{"type":"Public","name":"fg-sub-var","owner":"UniversalAlgebra","isFork":false,"description":"Research on finitely generated subvarieties of finitely generated varieties","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-26T19:50:15.691Z"}},{"type":"Public","name":"ALH-2018","owner":"UniversalAlgebra","isFork":false,"description":"Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-06T18:39:06.718Z"}},{"type":"Public","name":"fin-lat-rep","owner":"UniversalAlgebra","isFork":false,"description":"resources for the finite lattice representations project","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":7,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-31T23:28:00.023Z"}},{"type":"Public","name":"par-alg-rep","owner":"UniversalAlgebra","isFork":false,"description":"Notes from fall 2016 visit to Chapman University","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-07T07:21:26.271Z"}},{"type":"Public","name":"Conferences","owner":"UniversalAlgebra","isFork":false,"description":"A list of conferences in algebra, logic, and computer science.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-22T00:33:25.806Z"}},{"type":"Public","name":"algebraic-csp","owner":"UniversalAlgebra","isFork":false,"description":"Article on algebraic approaches to CSP with applications to commutative idempotent binars","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-04T12:54:21.561Z"}},{"type":"Public","name":"bibtex","owner":"UniversalAlgebra","isFork":false,"description":"Bibtex data for some authors in universal algebra and related fields","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-23T05:27:48.168Z"}},{"type":"Public","name":"OpenProblems","owner":"UniversalAlgebra","isFork":false,"description":"Lists of open problems in universal algebra and related areas","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-03T16:39:32.316Z"}},{"type":"Public","name":"AMSLouisville2013","owner":"UniversalAlgebra","isFork":false,"description":"Talks presented at the AMS Special Session on Finite Universal Algebra in Louisville, KY","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-10-23T02:12:46.000Z"}},{"type":"Public","name":"WCUA2013","owner":"UniversalAlgebra","isFork":false,"description":"2013 Workshop on Computational Universal Algebra","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-10-13T23:39:18.000Z"}}],"repositoryCount":18,"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":"UniversalAlgebra repositories"}