Discussions

• 1 You must be logged in to vote

  💬

  Calyx Opt Spring 2024 Lab Notebook

  parthsarkar17 started Jan 16, 2024 in General

  

  

  

  

  35
• 1 You must be logged in to vote

  🙏

  Questions about msp_done, pd, and comb_reg

  jmsguevara asked Mar 28, 2024 in Q&A · Unanswered

  

  

  

  

  2
• 2 You must be logged in to vote

  💡

  PIFO Trees for real

  anshumanmohan started Dec 20, 2023 in Ideas

  

  

  8
• 2 You must be logged in to vote

  💡

  Proof of Concept: A Unum/Posit Module for Calyx

  Mark1626 started Mar 20, 2024 in Ideas

  

  

  

  

  10
• 2 You must be logged in to vote

  👋

  Interested in learning more about how Calyx can work with generalized sparse matrix multiplication over semirings.

  michelp started Mar 6, 2024 in Introductions

  

  

  

  

  2
• 2 You must be logged in to vote

  💡

  [eDSL] Redesign the Standard Library

  rachitnigam started Feb 20, 2024 in Ideas

  

  

  

  

  4
• 2 You must be logged in to vote

  💬

  PyTorch to Calyx Lowering Path

  jiahanxie353 started Jan 19, 2024 in General

  

  

  

  

  7
• 1 You must be logged in to vote

  💡

  A Proof-of-Concept fud Successor

  sampsyo started Jan 4, 2024 in Ideas

  

  

  

  

  16
• 3 You must be logged in to vote

  💡

  Differential Testing for Primitives

  ayakayorihiro started Feb 2, 2024 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  Proposal: Good Data Conversion

  sampsyo started Feb 2, 2024 in Ideas

  

  

  3
• 2 You must be logged in to vote

  👋

  Interested to contribute to the Calyx backend in Dahlia

  Mark1626 started Jan 30, 2024 in Introductions

  

  

  1
• 1 You must be logged in to vote

  💬

  Test Infrastructure Audit

  rachitnigam started Jan 29, 2024 in General

  

  

  4
• 1 You must be logged in to vote

  💡

  Proposal: BTOR2 Primitives for Cider

  sampsyo started Jan 11, 2024 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💬

  Calyx in 2024

  rachitnigam started Dec 24, 2023 in General

  

  

  1
• 2 You must be logged in to vote

  👋

  Interested in Calyx Research

  anthonyabeo started Jan 3, 2024 in Introductions

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Calyx Fest 2023

  rachitnigam started Dec 18, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Zulip for Calyx

  rachitnigam started Dec 12, 2023 in General

  

  

  2
• 2 You must be logged in to vote

  💬

  Push-Button-Calyx-FPGA Lab Notebook

  nathanielnrn started Aug 29, 2023 in General

  

  

  

  

  14
• 1 You must be logged in to vote

  💡

  Proposal: Calyx Meets the Real FPGA World

  sampsyo started Oct 27, 2023 in Ideas

  

  

  0
• 2 You must be logged in to vote

  💬

  Jiahan Lab Notebook

  jiahanxie353 started Sep 25, 2023 in General

  

  

  

  

  6
• 3 You must be logged in to vote

  ❓

  A Few Notes on Undefinedness

  sampsyo started Feb 18, 2022 in Semantics

  

  

  

  

  16
• 4 You must be logged in to vote

  💬

  Planning for Fall 2023

  rachitnigam started Aug 16, 2023 in General

  

  

  

  

  13
• 2 You must be logged in to vote

  💬

  Calyx Static Summer 2023 Lab Notebook

  calebmkim started May 24, 2023 in General

  

  

  

  

  24
• 1 You must be logged in to vote

  🙏

  Formal Verification of HLS and Design Verification

  chsasank asked Sep 2, 2023 in Q&A · Answered

  

  

  1
• 2 You must be logged in to vote

  💬

  Cider 2023 Lab Notebook

  Basant-khalil started May 31, 2023 in General

  

  

  1