Skip to content

@QBayLogic QBayLogic B.V.

All

    Repositories list

    22 repositories

    • liquidhaskell

      Public
      Liquid Types For Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •165•0•0•0•Updated Sep 23, 2026Sep 23, 2026

    • liquid-fixpoint

      Public
      Horn Clause Constraint Solving for Liquid Types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •71•0•0•0•Updated Sep 23, 2026Sep 23, 2026

    • tilia

      Public
      A formatter for Haskell source code
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Sep 21, 2026Sep 21, 2026

    • qlog

      Public
      A nice changelog engine
      changelog
      changelog
      Python
      •0•0•1•0•Updated Sep 3, 2026Sep 3, 2026

    • clash-protocols-memmap

      Public
      Device/Memory-map descriptions directly from your circuit defintions
      Rust
      •1•0•4•2•Updated Sep 2, 2026Sep 2, 2026

    • clash-ila

      Public
      Nix
      •4•0•7•2•Updated Aug 20, 2026Aug 20, 2026

    • mdbook-drawio

      Public
      A tool to include drawio diagrams in your mdbook
      Rust
      •
      Apache License 2.0
      •3•2•0•0•Updated May 20, 2026May 20, 2026

    • subst_macros

      Public
      Declarative macros that perform substitutions
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Apr 28, 2026Apr 28, 2026

    • ghc-typelits-proof-assist-fork

      Public
      Haskell
      •
      Apache License 2.0
      •1•0•0•0•Updated Apr 12, 2026Apr 12, 2026

    • clash-num

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 13, 2026Jan 13, 2026

    • clash-video

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Dec 16, 2025Dec 16, 2025

    • avalon_interconnect

      Public
      Python
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • corsair

      Public
      Control and Status Register map generator for HDL projects
      Python
      •
      MIT License
      •42•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • edalize

      Public
      An abstraction library for interfacing EDA tools
      Python
      •
      BSD 2-Clause "Simplified" License
      •234•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • fusesoc

      Public
      Package manager and build abstraction tool for FPGA/ASIC development
      Python
      •
      BSD 2-Clause "Simplified" License
      •280•0•0•0•Updated Oct 2, 2024Oct 2, 2024

    • ghc-typelits-smtsolver

      Public
      Haskell
      •0•1•0•0•Updated Jan 26, 2024Jan 26, 2024

    • UDBC-Arbiter

      Public
      The Clash UDBC-Arbiter Verification Challenge
      Haskell
      •
      MIT License
      •0•2•0•0•Updated Dec 4, 2023Dec 4, 2023

    • clash-number-recognition

      Public
      BSD 2-Clause "Simplified" License
      •0•0•5•0•Updated Oct 20, 2022Oct 20, 2022

    • qbaymid

      Public archive
      HTML
      •0•0•0•4•Updated Feb 26, 2022Feb 26, 2022

    • contranomy

      Public
      VHDL
      •
      BSD 2-Clause "Simplified" License
      •5•0•0•0•Updated Jan 19, 2021Jan 19, 2021

    • benchmark-compilation

      Public
      Shell
      •2•7•1•0•Updated Jun 7, 2020Jun 7, 2020

    • qbaylogic.com

      Public archive
      CSS
      •
      MIT License
      •0•0•0•0•Updated Nov 29, 2015Nov 29, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.