{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"articles","owner":"YaccConstructor","isFork":false,"description":"Papers sources, pictures, presentations, and other stuff","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":74,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T07:09:37.538Z"}},{"type":"Public","name":"GraphBLAS-sharp","owner":"YaccConstructor","isFork":false,"description":"GPGPU-based GraphBLAS-like API implementation in F# (using Brahma.FSharp and OpenCL)","topicNames":["fsharp","graph-algorithms","dotnet","gpu","linear-algebra","sparse-matrix","graphblas","sparse-linear-algebra","matrix"],"topicsNotShown":0,"allTopics":["fsharp","graph-algorithms","dotnet","gpu","linear-algebra","sparse-matrix","graphblas","sparse-linear-algebra","matrix"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":2,"issueCount":0,"starsCount":3,"forksCount":6,"license":"MIT License","participation":[0,0,0,0,0,0,0,2,11,4,2,0,0,0,0,0,0,0,4,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T19:46:16.603Z"}},{"type":"Public","name":"Brahma.FSharp","owner":"YaccConstructor","isFork":true,"description":"F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.","topicNames":["fsharp","dotnet","opencl","gpgpu","gpu-programming"],"topicsNotShown":0,"allTopics":["fsharp","dotnet","opencl","gpgpu","gpu-programming"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":21,"starsCount":73,"forksCount":28,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-17T13:06:09.577Z"}},{"type":"Public","name":"Distiller","owner":"YaccConstructor","isFork":true,"description":"Implementation of the distillation algorithm as described in the paper \"Distillation: Extracting the Essence of Programs\".","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-01T08:33:36.320Z"}},{"type":"Public","name":"LangToGroup","owner":"YaccConstructor","isFork":false,"description":"Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell","topicNames":["group-theory","formal-languages","group-theory-algorithms","haskell-application"],"topicsNotShown":0,"allTopics":["group-theory","formal-languages","group-theory-algorithms","haskell-application"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-11T21:54:41.027Z"}},{"type":"Public","name":"libcypher-parser","owner":"YaccConstructor","isFork":true,"description":"Cypher Parser Library","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-20T17:28:51.484Z"}},{"type":"Public","name":"RedisGraph","owner":"YaccConstructor","isFork":true,"description":"A graph database as a Redis module","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":229,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-06T12:16:44.723Z"}},{"type":"Public","name":"clSPARSE","owner":"YaccConstructor","isFork":true,"description":"a software library containing Sparse functions written in OpenCL","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":58,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-07T12:14:01.571Z"}},{"type":"Public","name":"hosc","owner":"YaccConstructor","isFork":true,"description":"Higher-Order Supercompiler","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-10T14:14:41.618Z"}},{"type":"Public","name":"Meerkat","owner":"YaccConstructor","isFork":true,"description":"Meerkat parsers","topicNames":["scala","parser-combinators","graph","graph-database","graphdb","path-query"],"topicsNotShown":0,"allTopics":["scala","parser-combinators","graph","graph-database","graphdb","path-query"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":15,"starsCount":4,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-13T06:55:12.965Z"}},{"type":"Public","name":"LAGraph","owner":"YaccConstructor","isFork":true,"description":"This is a library plus a test harness for collecting algorithms that use the GraphBLAS","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":57,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-20T10:06:21.389Z"}},{"type":"Public","name":"pyformlang","owner":"YaccConstructor","isFork":true,"description":"A python library to manipulate formal grammar","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-26T13:53:36.747Z"}},{"type":"Public","name":"QuickGraph","owner":"YaccConstructor","isFork":false,"description":"Generic Graph Data Structures and Algorithms for .NET","topicNames":["fsharp","datastructures","graph-algorithms","c-sharp","algorithm","quickgraph"],"topicsNotShown":0,"allTopics":["fsharp","datastructures","graph-algorithms","c-sharp","algorithm","quickgraph"],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":1,"issueCount":38,"starsCount":516,"forksCount":191,"license":"Microsoft Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-29T11:21:19.472Z"}},{"type":"Public","name":"QuadTree","owner":"YaccConstructor","isFork":false,"description":"Quad tree representation for sparse matrices on GPGPU","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-10-07T10:56:18.559Z"}},{"type":"Public","name":"YaccConstructor","owner":"YaccConstructor","isFork":false,"description":"Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.","topicNames":["parsing","fsharp","lexical-analysis","ebnf","lexing","glr-parser","gll-parser","grammarware","parser-generator"],"topicsNotShown":0,"allTopics":["parsing","fsharp","lexical-analysis","ebnf","lexing","glr-parser","gll-parser","grammarware","parser-generator"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":1,"issueCount":73,"starsCount":38,"forksCount":30,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-25T17:25:49.243Z"}},{"type":"Public","name":"RubyTypes","owner":"YaccConstructor","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-07T22:34:40.554Z"}},{"type":"Public","name":"YC.Bio","owner":"YaccConstructor","isFork":false,"description":"Tools for metagenomic assembly processing.","topicNames":["bioinformatics","parsing","fsharp","metagenomics","secondary-structure","16s","metagenomic-analysis","rrna"],"topicsNotShown":0,"allTopics":["bioinformatics","parsing","fsharp","metagenomics","secondary-structure","16s","metagenomic-analysis","rrna"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":10,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-28T15:00:31.021Z"}},{"type":"Public","name":"YC.GrammarZOO","owner":"YaccConstructor","isFork":false,"description":"Grammar for SQL (MS-SQL, PL-SQL), Calc, JSON","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":4,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-29T07:15:24.057Z"}},{"type":"Public","name":"YC_in_Coq","owner":"YaccConstructor","isFork":false,"description":"Some parts of formal language theory in Coq","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":1,"issueCount":2,"starsCount":2,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-16T18:06:33.235Z"}},{"type":"Public","name":"RytterForGraph","owner":"YaccConstructor","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-06T14:07:48.564Z"}},{"type":"Public","name":"FsGll","owner":"YaccConstructor","isFork":false,"description":"An parser combinator library based on the GLL algorithm for F#","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-06T06:50:21.855Z"}},{"type":"Public","name":"VisualFStar","owner":"YaccConstructor","isFork":false,"description":"Support for F* in Visual Studio IDE.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":5,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-06T06:49:56.567Z"}},{"type":"Public","name":"Examples","owner":"YaccConstructor","isFork":false,"description":"Examples of YaccConstructor applications","topicNames":["parsing","examples","parsing-math-expressions","yaccconstructor"],"topicsNotShown":0,"allTopics":["parsing","examples","parsing-math-expressions","yaccconstructor"],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-28T11:52:24.308Z"}},{"type":"Public","name":"YC.Web","owner":"YaccConstructor","isFork":false,"description":"Web UI for YC","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":3,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-17T05:02:52.728Z"}},{"type":"Public","name":"YC.QuickGraph.Query","owner":"YaccConstructor","isFork":false,"description":"Path query engine for QuickGraph","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-05T23:49:17.361Z"}},{"type":"Public","name":"Brahma.FSharp.Examples","owner":"YaccConstructor","isFork":false,"description":"Examples of Brahma.FSharp using","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-05T07:22:53.028Z"}},{"type":"Public","name":"YC_FStar","owner":"YaccConstructor","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-03T16:46:09.825Z"}},{"type":"Public","name":"FStar","owner":"YaccConstructor","isFork":true,"description":"An ML-like language with a type system for program verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":233,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-05T13:41:35.482Z"}},{"type":"Public","name":"YaccConstructor.github.io","owner":"YaccConstructor","isFork":false,"description":"Website for YaccConstructor.github.io","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-05T10:17:20.357Z"}},{"type":"Public","name":"GraphX","owner":"YaccConstructor","isFork":true,"description":"GraphX for .NET project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":100,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-04T12:33:03.049Z"}}],"repositoryCount":38,"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"}