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.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent