-
onnx2saml Public
first version (slightly hacky) of the onnx2saml converter for embedding anns in saml for verification and fault injection
Python UpdatedJun 23, 2024 -
cqlcfdfanalyser Public
Tech Demo for our paper "Task-fidelity Assessment for Programming Tasks Using Semantic Code Analysis"
UpdatedMay 26, 2023 -
google-research Public
Forked from google-research/google-researchGoogle Research
Jupyter Notebook Apache License 2.0 UpdatedAug 6, 2022 -
tutorials Public
Forked from pytorch/tutorialsPyTorch tutorials.
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 8, 2022 -
CodeT5 Public
Forked from salesforce/CodeT5Code for CodeT5: a new code-aware pre-trained encoder-decoder model.
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 4, 2022 -
async.h Public
Forked from naasking/async.hStackless Async Subroutines for C
C BSD 3-Clause "New" or "Revised" License UpdatedMar 16, 2022 -
pyprofibus Public
Forked from mbuesch/pyprofibusOriginal repository at: https://git.bues.ch/git/pyprofibus.git
Python GNU General Public License v2.0 UpdatedOct 23, 2021 -
-
meta-tegra Public
Forked from OE4T/meta-tegraBSP layer for NVIDIA Jetson platforms, based on L4T
BitBake MIT License UpdatedJul 20, 2021 -
EBAZ4205 Public
Forked from xjtuecho/EBAZ4205A 5$ Xilinx ZYNQ development board.
MIT License UpdatedMay 15, 2021 -
EBAZ4205-1 Public
Forked from XyleMora/EBAZ4205EBAZ4205 is Xilinx Zynq based mining board used in Ebang Ebit E9+ bitcoin miner machine.
MIT License UpdatedApr 27, 2021 -
rebar3_grisp Public
Forked from grisp/rebar3_grispRebar plug-in for GRiSP
Erlang Apache License 2.0 UpdatedFeb 24, 2021 -
antlr4 Public
Forked from antlr/antlr4ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Java Other UpdatedNov 24, 2020 -
cadet Public
Forked from MarkusRabe/cadetA fast and certifying solver for quantified Boolean formulas.
C Other UpdatedMay 8, 2019 -
sally Public
Forked from SRI-CSL/sallyA model checker for infinite-state systems.
C++ GNU General Public License v2.0 UpdatedApr 10, 2019 -
-
-
scion Public
Forked from scionproto/scionSCION Internet Architecture
Go Apache License 2.0 UpdatedOct 11, 2018 -
-
-
-
-
-
-
-
-
-
compute std deviation for each dimension, compute confidence intervals, check for collision against restricted area map
Python UpdatedAug 21, 2018 -
local_obj_detector Public
ros local object detection node for dsl events
Python UpdatedAug 21, 2018 -
coordinate_mover Public
ros node for direct movements to a given position in a tf frame
Python UpdatedAug 21, 2018
{{ message }}