hbgit
Follow
-
map2check-library Public
C library to support Map2Check Tool
C++ GNU General Public License v3.0 UpdatedJun 18, 2026 -
Map2Check Public
Map2Check: Finding Software Vulnerabilities
-
classificacao-soja-federado-centralizado-learning Public
Forked from Jorge-Siqueira-Serrao/classificacao-soja-federado-centralizado-learningAnálise Comparativa entre Aprendizado Centralizado e Federado para a Classificação de Doenças na Soja sob Heterogeneidade de Dados (Non-IID).
Jupyter Notebook MIT License UpdatedMay 3, 2026 -
lettuce-healthy-recognizer Public
Forked from Lucas-Ladislau/lettuce-healthy-recognizerWe present a comparative analysis between the YOLO and RT-DETR architectures, utilizing aerial imagery captured via Unmanned Aerial Vehicles (UAVs) across missions with varying altitudes and camera…
Jupyter Notebook UpdatedMay 3, 2026 -
-
aevalo Public
Aevalo: Avaliar ficou inteligente.
Shell GNU General Public License v3.0 UpdatedMar 15, 2026 -
-
-
maquina_de_bebidas Public
Forked from PauloBelmont/maquina_de_bebidasEste repositório contém todos os artefatos relacionados ao projeto maquina de chafé
-
template-tcc-dcc-ufrr Public
Latex template de TCC para o DCC/UFRR.
-
maloca-turma-ufrr-2023 Public
Forked from Maloca-iCoisas/maloca-turma-ufrr-2023Este é repositório do projeto Maloca das iCoisas da Turma de entrada em 2023
C MIT License UpdatedNov 21, 2024 -
Program-Slicing_PIC Public
Forked from GuilhermeBn198/Program-Slicing_PICexploring program slicing and documenting my discoveries using Frama-c Tool
C MIT License UpdatedApr 16, 2023 -
Kraken Public
Forked from danielgohl13/Krakencounting api based on Ozlu code
Python MIT License UpdatedNov 22, 2022 -
-
-
-
-
GSoC-TensorFlow-2019 Public
Forked from Vishal-V/GSoC-TensorFlow-2019Google Summer of Code 2019 with TensorFlow: Final Work Product
Python Apache License 2.0 UpdatedJul 2, 2021 -
redmine Public
Forked from redmine/redmineMirror of redmine code source - Official SVN repository is at https://svn.redmine.org/redmine - contact: @jbbarth or jeanbaptiste.barth (at) gmail (dot) com
Ruby UpdatedJun 3, 2021 -
my_toy_compiler Public
Forked from lsegal/my_toy_compilerMy Toy Compiler. Read about how I did it at the homepage URL
C++ MIT License UpdatedJan 16, 2021 -
EZProofC Public
This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified er…
-
-
flutter_a_z Public
The goal is trying different flutter features, and apply CI/CD using github actions.
Dart MIT License UpdatedJul 5, 2020 -
llvm-docker-dev Public
Docker LLVM Image
Dockerfile GNU General Public License v3.0 UpdatedJun 30, 2020 -
base_image_map2check Public
This repository has the base image to build map2check
Dockerfile MIT License UpdatedJun 30, 2020 -
framac-learn Public
Tutorials hpw to use Frama-C for software verification
Dockerfile GNU General Public License v3.0 UpdatedApr 28, 2020 -
depthk Public
K-Induction adopting program invariants
-
-
machinelearn_tuto Public
Machine Learning Tutorial
Jupyter Notebook GNU General Public License v3.0 UpdatedDec 8, 2019 -
atividades_AnaliseAlgoritmos Public
Forked from silvandante/atividades_AnaliseAlgoritmosAtividades de Análise de Algoritmos por Anny Caroline Walker Silva
C UpdatedNov 17, 2019