YaccConstructor's Projects
Implementation of abstract LALR parsing (see http://dl.acm.org/citation.cfm?id=2074599 for more details).
Papers sources, pictures, presentations, and other stuff
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
Examples of Brahma.FSharp using
a software library containing Sparse functions written in OpenCL
Lexing and parsing concurrently in F# in fslex and fsyacc
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
Examples of YaccConstructor applications
Tools for building compilers, interpreters, and analysis tools in F#
An parser combinator library based on the GLL algorithm for F#
The Open Edition of the F# compiler, core library and tools
FSharpx.Collections is a collection of datastructures for use with F# and C#.
An ML-like language with a type system for program verification
JB game semantic summer school
GPGPU-based GraphBLAS-like API implementation in F# (using Brahma.FSharp and OpenCL)
GraphX for .NET project
Higher-Order Supercompiler
This is a library plus a test harness for collecting algorithms that use the GraphBLAS
Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell
Cypher Parser Library
Meerkat parsers
A prototypical .NET solution (file system layout and tooling), recommended by the F# Foundation.
A python library to manipulate formal grammar
Quad tree representation for sparse matrices on GPGPU
Generic Graph Data Structures and Algorithms for .NET
A graph database as a Redis module
Support for F* in Visual Studio IDE.
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.