Limmen/Advent-Of-Code16-Prolog

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Prolog
Created almost 8 years ago
Updated almost 8 years ago

Limmen/Advent-Of-Code16-Prolog

Limmen

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

Advent of Code 2016 - Prolog Solutions

awesome-rl-for-cybersecurity

A curated list of resources dedicated to reinforcement learning applied to cyber security.

csle

A research platform to develop automated security policies using quantitative methods, e.g., optimal control, computational game theory, reinforcement learning, optimization, evolutionary methods, and causal inference.

gym-idsgame

An Abstract Cyber Security Simulation and Markov Game for OpenAI Gym

gym-optimal-intrusion-response

A Simulated Optimal Intrusion Response Game

erl_pengine

Erlang Pengine, Erlang client to prolog pengine server.

Distributed_ML

Distributed Machine Learning

FastTextOnSpark

FastTextOnSpark brings the FastText algorithm for training word embeddings to Spark clusters.

Basic_SSL_VPN

idsgame

Encrypted-chat

Encrypted chat in java

cache_simulator

Cache Simulator - Web application with React

Webserver

A simple webserver in Erlang

TNSM_Learning_IRS_Supplementary

Supplementary material for "Learning Near-Optimal Intrusion Responses Against Dynamic Attackers" by Hammar & Stadler, 2023, IEEE TNSM

Pengine_RCE_Exploit

An example exploit for a vulnerable prolog pengine server

KompicsLogoot

Implementation of the Logoot CRDT in Kompics framework

Limmen.github.io

automated-intrusion-prevention-dashboard

A dashboard for inspecting and validating intrusion prevention policies.

SecLists

Distributed-KV-store

Distributed-KV-store using Kompics framework in Java.

gpu_benchmark

a notebook for a basic gpu vs cpu benchmark

Jupyter Notebook

chinook

React front-end that consumes REST-API for the chinook database