Skip to content

@VCA-EPFL VCA-EPFL

Change the repository type filter

All

    Repositories list

    23 repositories

    • graphiti

      Public
      Verified graph rewriting (for dataflow circuits).
      Lean
      •
      Apache License 2.0
      •1•18•3•0•Updated Nov 30, 2025Nov 30, 2025

    • chipyard-fsa

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•7•Updated Oct 27, 2025Oct 27, 2025

    • vca-epfl.github.io

      Public
      HTML
      •0•0•0•0•Updated Oct 27, 2025Oct 27, 2025

    • lean-star

      Public
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 23, 2025Oct 23, 2025

    • FSA

      Public
      FSA: Fusing FlashAttention within a Single Systolic Array
      Scala
      •4•68•2•0•Updated Aug 12, 2025Aug 12, 2025

    • easyfloat

      Public
      Python
      •1•3•0•0•Updated Jul 30, 2025Jul 30, 2025

    • fpga-shells

      Public
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 24, 2025Jul 24, 2025

    • legacy-FTD

      Public
      C++
      •1•0•0•0•Updated Jul 8, 2025Jul 8, 2025

    • Feb21_sp2024

      Public
      Python
      •0•0•0•0•Updated Jul 2, 2025Jul 2, 2025

    • leanses

      Public
      Lean lens implementation with custom notation.
      lenseslean4
      Lean
      •
      Apache License 2.0
      •0•12•0•0•Updated Jun 8, 2025Jun 8, 2025

    • graphiti-mp

      Public
      TeX
      •0•2•0•0•Updated May 14, 2025May 14, 2025

    • OracleGraphiti

      Public
      Rust
      •0•0•0•0•Updated May 12, 2025May 12, 2025

    • bsc

      Public
      Bluespec Compiler (BSC)
      Haskell
      •
      Other
      •164•1•0•0•Updated Mar 25, 2025Mar 25, 2025

    • observingSerialize

      Public
      C
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • lean-auto

      Public
      Experiments in automation for Lean
      Lean
      •
      Apache License 2.0
      •24•0•0•0•Updated Sep 20, 2024Sep 20, 2024

    • fjfj2

      Public
      Coq
      •0•1•0•0•Updated Jul 10, 2024Jul 10, 2024

    • TrajoptMPCReference

      Public
      A Python reference implementation of trajectory optimization (trajopt) algorithms and model predictive control (MPC).
      Jupyter Notebook
      •
      MIT License
      •5•0•0•0•Updated Jun 20, 2024Jun 20, 2024

    • OPLSS-livecoding-multicycle

      Public
      C
      •0•1•0•0•Updated Jun 8, 2024Jun 8, 2024

    • duper

      Public
      Lean
      •
      Apache License 2.0
      •12•0•0•0•Updated May 27, 2024May 27, 2024

    • lab-1-threonorm

      Public
      Combinational exercises and debugging a buggy sequential circuit. Warm-up for lab1_b.
      C++
      •1•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • CCA_lab1_a

      Public
      Combinational exercises and debugging a buggy sequential circuit. Warm-up for lab1_b.
      Bluespec
      •1•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • language-bh

      Public
      Minimal Bluespec Classic Syntax Mode
      TypeScript
      •
      Other
      •0•0•0•0•Updated Dec 18, 2023Dec 18, 2023

    • bscjson

      Public
      Generate JSON serialization of Bluespec values.
      Bluespec
      •0•1•0•0•Updated Nov 19, 2023Nov 19, 2023