{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"TermInterface.jl","owner":"JuliaSymbolics","isFork":false,"description":"interface for symbolic terms","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":1,"issueCount":1,"starsCount":33,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T00:53:59.693Z"}},{"type":"Public","name":"Symbolics.jl","owner":"JuliaSymbolics","isFork":false,"description":"Symbolic programming for the next generation of numerical software","allTopics":["high-performance","parallel-computing","mathematics","cas","computer-algebra-system","symbolic-computing"],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":49,"issueCount":388,"starsCount":1303,"forksCount":140,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T02:29:30.253Z"}},{"type":"Public","name":"SymbolicUtils.jl","owner":"JuliaSymbolics","isFork":false,"description":"Symbolic expressions, rewriting and simplification","allTopics":["pattern-matching","julia","symbolic-manipulation","symbolic-math"],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":31,"issueCount":113,"starsCount":515,"forksCount":98,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T02:24:51.033Z"}},{"type":"Public","name":"Metatheory.jl","owner":"JuliaSymbolics","isFork":false,"description":"Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.","allTopics":["programming-language","optimization","julia","symbolic","symbolic-manipulation","symbolic-computation","compiler-optimization","term-rewriting","compiler-construction","equality-saturation","egraphs"],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":6,"issueCount":30,"starsCount":341,"forksCount":44,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T14:08:50.018Z"}},{"type":"Public","name":"Rewriters.jl","owner":"JuliaSymbolics","isFork":false,"description":"A library for composing together term rewriting combinators.","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-10T10:28:11.762Z"}},{"type":"Public","name":"SymbolicSAT.jl","owner":"JuliaSymbolics","isFork":false,"description":"for you with the good questions","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":2,"starsCount":27,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-16T22:31:29.893Z"}},{"type":"Public","name":"Resources","owner":"JuliaSymbolics","isFork":false,"description":"A repository for storing resources like logos","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-03T11:26:41.529Z"}}],"repositoryCount":7,"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"}