Skip to content

@VCA-EPFL VCA-EPFL

Change the repository type filter

All

    Repositories list

    30 repositories

    • dataflow-rewriter

      Public
      Lean
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 14, 2024Nov 14, 2024

    • leanses

      Public
      Lean lens implementation with custom notation.
      lenseslean4
      Lean
      •
      Apache License 2.0
      •0•5•0•0•Updated Nov 12, 2024Nov 12, 2024

    • bsc

      Public
      Bluespec Compiler (BSC)
      Haskell
      •
      Other
      •146•1•0•0•Updated Nov 11, 2024Nov 11, 2024

    • lean-auto

      Public
      Experiments in automation for Lean
      Lean
      •
      Apache License 2.0
      •12•0•0•0•Updated Sep 20, 2024Sep 20, 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
      •8•0•0•0•Updated May 27, 2024May 27, 2024

    • lab-1-CemBelentepe

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

    • lab-1-jnbrq

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

    • lab-1-giorgioajmone

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

    • lab-1-t2shashwat

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

    • lab-1-AyaElAkhras

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

    • lab-1-madhur19171

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

    • lab-1-BugraEryilmaz

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

    • lab-1-bkeskinn40

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

    • lab-1-sankalpgambhir

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

    • lab-1-YconquestY

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

    • lab-1-xusine

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

    • lab-1-florianhofhammer

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

    • lab-1-MJChku

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

    • lab-1-ymherklotz

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

    • lab-1-kb29x37

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

    • lab-1-kurimulion

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

    • lab-1-panther03

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

    • lab-1-ayanchak1508

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

    • lab-1-threonorm

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

    • Feb21_sp2024

      Public
      Python
      •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • CCA_lab1_a

      Public
      Combinational exercises and debugging a buggy sequential circuit. Warm-up for lab1_b.
      Bluespec
      •19•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