YaccConstructor

articles Public
Papers sources, pictures, presentations, and other stuff

TeX 20 71 0 0 Updated Jan 20, 2022
Distiller Public
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

Haskell 0 BSD-3-Clause 5 0 0 Updated Jan 16, 2022
Brahma.FSharp Public
F# quotation to OpenCL translator. Based on Brahma library.

F# 50 EPL-1.0 28 15 2 Updated Jan 10, 2022
GraphBLAS-sharp Public
GraphBLAS implementation in F#+OpenCL

F# 1 MIT 4 2 2 Updated Dec 23, 2021
LangToGroup Public
Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

Haskell 1 Apache-2.0 7 0 1 Updated Nov 11, 2021
libcypher-parser Public
Cypher Parser Library

C 0 Apache-2.0 28 0 0 Updated Oct 20, 2021
RedisGraph Public
A graph database as a Redis module

C 1 176 0 0 Updated Oct 6, 2021
clSPARSE Public
a software library containing Sparse functions written in OpenCL

C++ 0 Apache-2.0 56 0 1 Updated Jul 7, 2021
hosc Public
Higher-Order Supercompiler

Scala 0 3 0 0 Updated Jun 10, 2021
Meerkat Public
Meerkat parsers

Scala 4 9 15 0 Updated May 13, 2020

Pinned