Skip to content

@YaccConstructor YaccConstructor

Change the repository type filter

All

    Repositories list

    37 repositories

    • articles

      Public
      Papers sources, pictures, presentations, and other stuff
      TeX
      •
      Other
      •71•23•0•0•Updated Nov 12, 2025Nov 12, 2025

    • Brahma.FSharp

      Public
      F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
      fsharpdotnetopenclgpgpugpu-programming
      F#
      •
      Eclipse Public License 1.0
      •28•77•21•0•Updated Mar 28, 2025Mar 28, 2025

    • Distiller

      Public
      Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •6•0•3•0•Updated May 1, 2022May 1, 2022

    • LangToGroup

      Public
      Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell
      group-theoryformal-languagesgroup-theory-algorithmshaskell-application
      Haskell
      •
      Apache License 2.0
      •7•4•2•0•Updated Feb 11, 2022Feb 11, 2022

    • libcypher-parser

      Public
      Cypher Parser Library
      C
      •
      Apache License 2.0
      •42•0•0•0•Updated Oct 20, 2021Oct 20, 2021

    • RedisGraph

      Public
      A graph database as a Redis module
      C
      •
      Other
      •231•1•0•0•Updated Oct 6, 2021Oct 6, 2021

    • clSPARSE

      Public
      a software library containing Sparse functions written in OpenCL
      C++
      •
      Apache License 2.0
      •62•0•0•1•Updated Jul 7, 2021Jul 7, 2021

    • hosc

      Public
      Higher-Order Supercompiler
      Scala
      •3•0•0•0•Updated Jun 10, 2021Jun 10, 2021

    • Meerkat

      Public
      Meerkat parsers
      scalaparser-combinatorsgraphgraph-databasegraphdbpath-query
      Scala
      •11•4•15•0•Updated May 13, 2020May 13, 2020

    • LAGraph

      Public
      This is a library plus a test harness for collecting algorithms that use the GraphBLAS
      C
      •
      Other
      •75•0•0•0•Updated Apr 20, 2020Apr 20, 2020

    • pyformlang

      Public
      A python library to manipulate formal grammar
      Python
      •
      MIT License
      •13•0•1•0•Updated Feb 26, 2020Feb 26, 2020

    • QuickGraph

      Public
      Generic Graph Data Structures and Algorithms for .NET
      c-sharpalgorithmfsharpdatastructuresgraph-algorithmsquickgraph
      C#
      •
      Microsoft Public License
      •206•550•37•0•Updated Dec 29, 2019Dec 29, 2019

    • QuadTree

      Public
      Quad tree representation for sparse matrices on GPGPU
      1•0•1•0•Updated Oct 7, 2019Oct 7, 2019

    • YaccConstructor

      Public
      Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
      parsingfsharpparser-generatorlexical-analysisebnflexingglr-parsergll-parsergrammarware
      F#
      •
      Apache License 2.0
      •30•41•73•1•Updated Jul 25, 2019Jul 25, 2019

    • RubyTypes

      Public
      Kotlin
      •0•0•0•0•Updated May 7, 2019May 7, 2019

    • YC.Bio

      Public
      Tools for metagenomic assembly processing.
      bioinformaticsparsingfsharpmetagenomicssecondary-structure16smetagenomic-analysisrrna
      F#
      •
      Apache License 2.0
      •0•1•10•0•Updated Feb 28, 2019Feb 28, 2019

    • YC.GrammarZOO

      Public
      Grammar for SQL (MS-SQL, PL-SQL), Calc, JSON
      Apache License 2.0
      •1•2•4•0•Updated Oct 29, 2018Oct 29, 2018

    • YC_in_Coq

      Public
      Some parts of formal language theory in Coq
      Coq
      •
      Apache License 2.0
      •3•2•2•1•Updated Aug 16, 2018Aug 16, 2018

    • RytterForGraph

      Public
      F#
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 6, 2018Jul 6, 2018

    • FsGll

      Public
      An parser combinator library based on the GLL algorithm for F#
      F#
      •
      The Unlicense
      •1•5•0•0•Updated Mar 6, 2018Mar 6, 2018

    • VisualFStar

      Public
      Support for F* in Visual Studio IDE.
      C#
      •
      Apache License 2.0
      •1•5•5•0•Updated Mar 6, 2018Mar 6, 2018

    • Examples

      Public
      Examples of YaccConstructor applications
      parsingexamplesparsing-math-expressionsyaccconstructor
      F#
      •
      Apache License 2.0
      •8•1•0•0•Updated Feb 28, 2018Feb 28, 2018

    • YC.Web

      Public
      Web UI for YC
      F#
      •
      The Unlicense
      •3•0•1•0•Updated Oct 17, 2017Oct 17, 2017

    • YC.QuickGraph.Query

      Public
      Path query engine for QuickGraph
      F#
      •
      Apache License 2.0
      •1•0•0•0•Updated Sep 5, 2017Sep 5, 2017

    • Brahma.FSharp.Examples

      Public
      Examples of Brahma.FSharp using
      F#
      •
      The Unlicense
      •3•4•0•0•Updated Jul 5, 2017Jul 5, 2017

    • YC_FStar

      Public
      Coq
      •0•0•0•0•Updated Oct 3, 2016Oct 3, 2016

    • FStar

      Public
      An ML-like language with a type system for program verification
      OCaml
      •
      Apache License 2.0
      •243•1•0•0•Updated Sep 5, 2016Sep 5, 2016

    • YaccConstructor.github.io

      Public
      Website for YaccConstructor.github.io
      CSS
      •
      MIT License
      •0•0•0•0•Updated Sep 5, 2016Sep 5, 2016

    • GraphX

      Public
      GraphX for .NET project
      C#
      •
      Apache License 2.0
      •108•1•0•0•Updated Sep 4, 2016Sep 4, 2016

    • GameSemantic

      Public
      JB game semantic summer school
      F#
      •
      Apache License 2.0
      •1•0•0•0•Updated Aug 26, 2016Aug 26, 2016