Stars
GPGPU processor supporting RISCV-V extension, developed with Chisel HDL
Gowin tangmega138k Pro pci+ddr demo
Benchmark tool for algorithm of CFL reachability
Accelerated Sparse Linear Algebra with Postgres and SuiteSparse
A special-purpose processor for pure, non-strict functional languages
Automaton editing, visualization, simulation and analyzing desktop software
A modern supercompiler for call-by-value functional languages
a clone of POCL that includes RISC-V newlib devices support and Vortex
A python library to manipulate formal languages and various automata
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Simple and fast Kotlin implementation of GLL parsing algorithm
A simple compiler from lambda to Structured Combinators
GitHub Action for continuous benchmarking to keep performance
F# Template for creating and publishing libraries targeting library or console apps.
Python package built to ease deep learning on graph, on top of existing DL frameworks.
YaccConstructor / Brahma.FSharp
Forked from gsvgit/Brahma.FSharpF# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
Simple IntelliJ IDEA plugin for Lama language
FracturedCode / OpenCL.NetCore
Forked from dgsantana/OpenCL.NET.NET bindings for OpenCL that are easy-to-use and true to the original API. There is no OOP abstraction, nor will there ever be. OpenCL.Net is meant to be small, fast (with as little explicit marsh…
High-Performance Linear Algebra-based Graph Primitives on GPUs
This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing, security, async, parsing, diagnostics, configuration files…
Microsoft Azure PaaS implementation for MBrace
A set of tools for graph layout and viewing
Developer guide for the ReSharper Platform