elaboration 开源项目推荐（12 个）

chipsalliance /Surelog

SystemVerilog 2017 预处理器、解析器、Elaborator、UHDM 编译器。提供IEEE Design/TB C/C++ VPI以及Python、AST和UHDM API。在 Linux gcc、Windows msys2-gcc 和 msvc、OsX 上编译

brendanzab /language-garden

A garden of small programming language implementations 🪴

jonsterling /dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

TOTBWF /teenytt

A Teeny Type Theory

MarcelineVQ /idris2-elab-deriving

implementation deriving for idris2

liesnikov /extensible-elaborator

prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials

LucaAngioloni /TheHound

An automated model car that tracks and follows objects. Built with RaspberryPi and Arduino, controlled by an iPhone.

jakob-schuster /language-scrapyard

Scrappy implementations of programming language ideas

Nubsi030 /Buzz-KPI-und-Dashboard

Dieses Repository enthält die Analysen sowie das Dashboard. Es umfasst R‑Skripte zur Datenaufbereitung und statistischen Auswertung (u. a. Beta‑Regressionen) sowie eine statische und interaktive Dashboard‑Seite zur Visualisierung zentraler KPIs. Das README.md dient der Navigation und enthält relevante Metadaten.

Seeker04 /stlc-agda-elab

Agda formalisation of an elaborator for a simply typed language

habibhossam /SPI-Slave-with-Single-Port-RAM

Designing SPI Slave with Single Port RAM using questasim and vivado.

eine /ghdl

VHDL 87/93/2002/2008 simulator