elaboration

There are 0 repository under elaboration topic.

• chipsalliance / Surelog

  SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX

  antlrantlr4-grammarelaborationlinterparserparser-astpreprocessorpython-apisystemveriloguvmverilogvpivpi-apivpi-standard
  Language:C++ 336

• brendanzab / language-garden

  A garden of small programming language implementations 🪴

  compilersdependent-typeselaborationprogramming-languagescompilationl-systemstypechecking
  Language:OCaml 130

• jonsterling / dreamtt

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

  dependent-typestutorialelaboration
  Language:OCaml 80

• TOTBWF / teenytt

  A Teeny Type Theory

  dependent-typeselaborationnormalization-by-evaluationproof-assistant
  Language:Haskell 26

• MarcelineVQ / idris2-elab-deriving

  implementation deriving for idris2

  idris2idris-ecosystemidris2-ecosystemderivingreflectionelaborationnewtypesinterfaceimplementationelabliblibraryidris
  Language:Idris 11

• LucaAngioloni / TheHound

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

  raspberry-piiphoneelaborationarduinobachelor-thesispi-cameramotorautomationvision
  Language:Python 7

• liesnikov / extensible-elaborator

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

  dependent-typeselaborationhaskellprogramming-languageprototype
  Language:TeX 3

• eine / ghdl

  VHDL 87/93/2002/2008 simulator

  vhdlsimulationvhdl93vhdl02vhdl08analysiselaboration
  Language:VHDL