Pinned Repositories
articles
Papers sources, pictures, presentations, and other stuff
Brahma.FSharp
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
Brahma.FSharp.Examples
Examples of Brahma.FSharp using
Examples
Examples of YaccConstructor applications
FsGll
An parser combinator library based on the GLL algorithm for F#
Meerkat
Meerkat parsers
QuickGraph
Generic Graph Data Structures and Algorithms for .NET
VisualFStar
Support for F* in Visual Studio IDE.
YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
YC.Bio
Tools for metagenomic assembly processing.
YaccConstructor's Repositories
YaccConstructor/QuickGraph
Generic Graph Data Structures and Algorithms for .NET
YaccConstructor/Brahma.FSharp
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
YaccConstructor/YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
YaccConstructor/articles
Papers sources, pictures, presentations, and other stuff
YaccConstructor/FsGll
An parser combinator library based on the GLL algorithm for F#
YaccConstructor/VisualFStar
Support for F* in Visual Studio IDE.
YaccConstructor/Brahma.FSharp.Examples
Examples of Brahma.FSharp using
YaccConstructor/Meerkat
Meerkat parsers
YaccConstructor/LangToGroup
Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell
YaccConstructor/YC.GrammarZOO
Grammar for SQL (MS-SQL, PL-SQL), Calc, JSON
YaccConstructor/YC_in_Coq
Some parts of formal language theory in Coq
YaccConstructor/Examples
Examples of YaccConstructor applications
YaccConstructor/FStar
An ML-like language with a type system for program verification
YaccConstructor/GraphX
GraphX for .NET project
YaccConstructor/RedisGraph
A graph database as a Redis module
YaccConstructor/YC.Bio
Tools for metagenomic assembly processing.
YaccConstructor/clSPARSE
a software library containing Sparse functions written in OpenCL
YaccConstructor/Distiller
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
YaccConstructor/GameSemantic
JB game semantic summer school
YaccConstructor/hosc
Higher-Order Supercompiler
YaccConstructor/LAGraph
This is a library plus a test harness for collecting algorithms that use the GraphBLAS
YaccConstructor/libcypher-parser
Cypher Parser Library
YaccConstructor/pyformlang
A python library to manipulate formal grammar
YaccConstructor/QuadTree
Quad tree representation for sparse matrices on GPGPU
YaccConstructor/RubyTypes
YaccConstructor/RytterForGraph
YaccConstructor/YaccConstructor.github.io
Website for YaccConstructor.github.io
YaccConstructor/YC.QuickGraph.Query
Path query engine for QuickGraph
YaccConstructor/YC.Web
Web UI for YC
YaccConstructor/YC_FStar