YaccConstructor

QuickGraph

Generic Graph Data Structures and Algorithms for .NET

Brahma.FSharp

F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.

YaccConstructor

Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.

articles

Papers sources, pictures, presentations, and other stuff

FsGll

An parser combinator library based on the GLL algorithm for F#

VisualFStar

Support for F* in Visual Studio IDE.

Brahma.FSharp.Examples

Examples of Brahma.FSharp using

Meerkat

Meerkat parsers

GraphBLAS-sharp

GPGPU-based GraphBLAS-like API implementation in F# (using Brahma.FSharp and OpenCL)

LangToGroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

YC.GrammarZOO

Grammar for SQL (MS-SQL, PL-SQL), Calc, JSON

YC_in_Coq

Some parts of formal language theory in Coq

Examples

Examples of YaccConstructor applications

FStar

An ML-like language with a type system for program verification

GraphX

GraphX for .NET project

RedisGraph

A graph database as a Redis module

YC.Bio

Tools for metagenomic assembly processing.

clSPARSE

a software library containing Sparse functions written in OpenCL

Distiller

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

hosc

Higher-Order Supercompiler

LAGraph

This is a library plus a test harness for collecting algorithms that use the GraphBLAS

libcypher-parser

Cypher Parser Library

pyformlang

A python library to manipulate formal grammar

QuadTree

Quad tree representation for sparse matrices on GPGPU

RubyTypes

RytterForGraph

YaccConstructor.github.io

Website for YaccConstructor.github.io

YC.QuickGraph.Query

Path query engine for QuickGraph

YC.Web

Web UI for YC

YC_FStar