YaccConstructor

All

37 repositories

articles
Public
Papers sources, pictures, presentations, and other stuff
TeX
•
Other
•74•22•0•0•Updated May 21, 2024May 21, 2024
Brahma.FSharp
Public
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
fsharp dotnet opencl gpgpu gpu-programming
F#
•
Eclipse Public License 1.0
•29•74•21•0•Updated Apr 17, 2024Apr 17, 2024
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
•7•0•3•0•Updated May 1, 2022May 1, 2022
LangToGroup
Public
Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell
group-theory formal-languages group-theory-algorithms haskell-application
Haskell
•
Apache License 2.0
•7•3•2•0•Updated Feb 11, 2022Feb 11, 2022
libcypher-parser
Public
Cypher Parser Library
C
•
Apache License 2.0
•39•0•0•0•Updated Oct 20, 2021Oct 20, 2021
RedisGraph
Public
A graph database as a Redis module
C
•
Other
•229•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
•61•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
scala parser-combinators graph graph-database graphdb path-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
•61•0•0•0•Updated Apr 20, 2020Apr 20, 2020
pyformlang
Public
A python library to manipulate formal grammar
Python
•
MIT License
•10•0•1•0•Updated Feb 26, 2020Feb 26, 2020
QuickGraph
Public
Generic Graph Data Structures and Algorithms for .NET
fsharp datastructures graph-algorithms c-sharp algorithm quickgraph
C#
•
Microsoft Public License
•196•525•38•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.
parsing fsharp lexical-analysis ebnf lexing glr-parser gll-parser grammarware parser-generator
F#
•
Apache License 2.0
•30•40•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.
bioinformatics parsing fsharp metagenomics secondary-structure 16s metagenomic-analysis rrna
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
parsing examples parsing-math-expressions yaccconstructor
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
•232•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
•103•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