-
onnx-mlir Public
Forked from onnx/onnx-mlirRepresentation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
C++ Apache License 2.0 UpdatedFeb 2, 2023 -
-
1 Updated
Aug 31, 2022 -
-
asciinema-player Public
Forked from asciinema/asciinema-playerWeb player for terminal session recordings
Less UpdatedNov 19, 2021 -
-
-
-
-
-
-
-
-
-
cedille Public
Forked from cedille/cedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Agda MIT License UpdatedFeb 1, 2020 -
-
-
ashalytics Public
Computer vision analyses on underwater video http://oceanobservatories.org/streaming-underwater-video/
Python UpdatedOct 21, 2018 -
-
verilog-axis Public
Forked from alexforencich/verilog-axisVerilog AXI stream components
Python MIT License UpdatedFeb 27, 2018 -
team-management Public
Tools for managing student teams, including Canvas, GitHub, and team assignment algorithms
Python UpdatedFeb 12, 2018 -
minized-examples Public
HDL and Application code for the Avnet MiniZed or Digilent Zybo Z7 with Zynq SoC
-
-
-
-
scenedb Public
Forked from amarburg/scenedbDatabase for OOI CamHD, where video files are indexed by scenes
Python UpdatedJun 28, 2016 -
-
-
sample-driven-tracing Public
Tools for sample-driven tracing of MPI programs
Shell UpdatedMay 31, 2016 -
{{ message }}