Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by YaccConstructor

A curated list of projects in awesome lists by YaccConstructor .

https://github.com/yaccconstructor/quickgraph

Generic Graph Data Structures and Algorithms for .NET

algorithm c-sharp datastructures fsharp graph-algorithms quickgraph

Last synced: 21 Dec 2024

https://github.com/yaccconstructor/yaccconstructor

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

ebnf fsharp gll-parser glr-parser grammarware lexical-analysis lexing parser-generator parsing

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/articles

Papers sources, pictures, presentations, and other stuff

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/fsgll

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

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/visualfstar

Support for F* in Visual Studio IDE.

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/brahma.fsharp.examples

Examples of Brahma.FSharp using

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/langtogroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

formal-languages group-theory group-theory-algorithms haskell-application

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yc.grammarzoo

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

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/examples

Examples of YaccConstructor applications

examples parsing parsing-math-expressions yaccconstructor

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/abstractlalr

Implementation of abstract LALR parsing (see http://dl.acm.org/citation.cfm?id=2074599 for more details).

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yc.utils.sourcetext

Helpers for source code basic manipulation.

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yc_in_coq

Some parts of formal language theory in Coq

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yaccconstructor.github.io

Website for YaccConstructor.github.io

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yc.web

Web UI for YC

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/yc.quickgraph.query

Path query engine for QuickGraph

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/quadtree

Quad tree representation for sparse matrices on GPGPU

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/concurrentlexpars

Lexing and parsing concurrently in F# in fslex and fsyacc

Last synced: 21 Nov 2024

https://github.com/yaccconstructor/gamesemantic

JB game semantic summer school

Last synced: 21 Nov 2024