Skip to content
@VCA-EPFL

VCA-EPFL

Popular repositories Loading

  1. leanses leanses Public

    Lean lens implementation with custom notation.

    Lean 7

  2. dataflow-rewriter dataflow-rewriter Public

    Lean 3

  3. bsc bsc Public

    Forked from B-Lang-org/bsc

    Bluespec Compiler (BSC)

    Haskell 1

  4. bscjson bscjson Public

    Generate JSON serialization of Bluespec values.

    Bluespec 1

  5. OPLSS-livecoding-multicycle OPLSS-livecoding-multicycle Public

    C 1

  6. language-bh language-bh Public

    Minimal Bluespec Classic Syntax Mode

    TypeScript

Repositories

Showing 10 of 31 repositories
  • dataflow-rewriter Public
    VCA-EPFL/dataflow-rewriter’s past year of commit activity
    Lean 3 Apache-2.0 0 0 0 Updated Dec 8, 2024
  • leanses Public

    Lean lens implementation with custom notation.

    VCA-EPFL/leanses’s past year of commit activity
    Lean 7 Apache-2.0 0 0 0 Updated Dec 2, 2024
  • observingSerialize Public
    VCA-EPFL/observingSerialize’s past year of commit activity
    C 0 0 0 0 Updated Nov 28, 2024
  • bsc Public Forked from B-Lang-org/bsc

    Bluespec Compiler (BSC)

    VCA-EPFL/bsc’s past year of commit activity
    Haskell 1 155 0 0 Updated Nov 11, 2024
  • lean-auto Public Forked from leanprover-community/lean-auto

    Experiments in automation for Lean

    VCA-EPFL/lean-auto’s past year of commit activity
    Lean 0 Apache-2.0 13 0 0 Updated Sep 20, 2024
  • TrajoptMPCReference Public Forked from A2R-Lab/TrajoptMPCReference

    A Python reference implementation of trajectory optimization (trajopt) algorithms and model predictive control (MPC).

    VCA-EPFL/TrajoptMPCReference’s past year of commit activity
    Jupyter Notebook 0 MIT 5 0 0 Updated Jun 20, 2024
  • OPLSS-livecoding-multicycle Public
    VCA-EPFL/OPLSS-livecoding-multicycle’s past year of commit activity
    C 1 0 0 0 Updated Jun 8, 2024
  • duper Public Forked from leanprover-community/duper
    VCA-EPFL/duper’s past year of commit activity
    Lean 0 Apache-2.0 9 0 0 Updated May 27, 2024
  • lab-1-CemBelentepe Public Forked from VCA-EPFL/CCA_lab1_a

    Combinational exercises and debugging a buggy sequential circuit. Warm-up for lab1_b.

    VCA-EPFL/lab-1-CemBelentepe’s past year of commit activity
    C++ 0 19 0 0 Updated Feb 29, 2024
  • lab-1-jnbrq Public Forked from VCA-EPFL/CCA_lab1_a

    Combinational exercises and debugging a buggy sequential circuit. Warm-up for lab1_b.

    VCA-EPFL/lab-1-jnbrq’s past year of commit activity
    C++ 0 19 0 0 Updated Feb 29, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…