QBayLogic

FPGA consultants

QBayLogic is a spin-off company of the University of Twente, Enschede, The Netherlands. We apply FPGA technology in domains with difficult mathematical problems.

Learn more Contact us

Creators of the CλaSH compiler

Our CλaSH compiler transforms high-level descriptions written in the functional programming language Haskell to performant FPGA solutions.

Learn more Contact us

Experienced educators

Based on over 30 years of teaching experience at the University of Twente, we provide engaging tutorials and workshops to use our CλaSH technology on your problems.

Learn more Contact us

We are an FPGA consultancy firm located in Enschede, The Netherlands.

Our team has a strong affinity for both mathematics and embedded systems, which allows us to quickly achieve a deep understanding of difficult algorithms and to find suitable implementations. Read more

The creators of CλaSH

CλaSH, pronounced ´clash´, is a functional hardware description language that borrows its syntax and semantics from the functional programming language Haskell. Read more

Math as a basis

We have a strong mathematics background, enabling us to understand your complex problems.

Experienced educators

Our workshops and training are based on 30+ years of experience in teaching students at bachelor, master, and phd level.

Novel technology

We have developed CλaSH, a functional hardware description language, providing unprecedented abstraction mechanisms for FPGA design.

Connections to research

Being a spin-off of Computer Architecture group of the University of Twente, we actively foster our connections with the research community.

Our services

What we do and what can you expect from us.

FPGA design

Workshops & Training

CλaSH Support

Let us help you apply FPGA technology in your situation.

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form

Latest Blog News

Solving custom operations in KnownNat constraints

In my previous post I discussed a solver plugin for KnownNat constraints, and with regards to user-defined type-level operations, I said:

i.e. it cannot solve constraints involving subtraction ...

Aug 17, 2016

Solving GHCs KnownNat constraints

If you have ever worked with GHC.TypeLits then you have probably encountered an error that is very similar to:

Test.hs:9:7: error:
    • Could not deduce (KnownNat (n + 2))
        arising from a use...

Aug 10, 2016