Interaction Nets in progress...

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

Benchmark programs in Wu

The fun Instruction-set Architecture Specification v.0.1

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.

F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.

Simple IntelliJ IDEA plugin for Lama language

Functional Hardware: FPGA synthesis from Haskell

.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

A Proof-oriented Programming Language

Developer guide for the ReSharper Platform

A Small Positive Supercompiler in F#