stefanDeveloper/inference stefanDeveloper/inference

  • Stars
    star
    1
  • Language
    Jupyter Notebook
  • Created almost 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stefanDeveloper/inference
github

stefanDeveloper

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Quantifiers and monotonicity in reasoning tasks

More Repositories

1

dodger

Docker stack including traefik, portainer, seafile, homer, openvpn, gitlab, wordpress, nextcloud, jenkins & Ansible
Jinja
32
star
2

nixos-lenovo-config

NixOS (23.05) Lenovo ThinkPad T14 configuration with i3, flake, home-manager, and more...
Nix
22
star
3

heiFIP

heiFIP: A tool to convert network traffic into images for ML use cases
Python
11
star
4

heiDGAF

heiDGAF - a machine learning based DNS analyzer to detect DGAs
Jupyter Notebook
3
star
5

bomberman

Reinforcement Learning for Bomberman at University Heidelberg
Python
2
star
6

scrum-retroboard

Electron App to enhance the Sprint Retrospective of Scrum
JavaScript
2
star
7

stefanDeveloper

Personal profile readme
1
star
8

liga-manager

C# project at Cooperative State University. Application for soccer betting with client and server
C#
1
star
9

docker-minecraft-ftb

Docker Feed-the-Beast Minecraft Server with Traefik v2.0
Shell
1
star
10

master-thesis

Master thesis in cybersecurity at the EMCL Heidelberg University.
Jupyter Notebook
1
star