golog
Here are 29 public repositories matching this topic...
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
-
Updated
Jun 22, 2021 - Haskell
mini but flexible and powerful logger for go
-
Updated
Apr 4, 2018 - Go
Vergo: A Verification System for GOLOG Programs
-
Updated
Nov 12, 2024 - Prolog
Easy log base、gin、gorm、go-redis with context
-
Updated
Jan 26, 2024 - Go
Provide a simple, flexible, extensible, powerful and structured logging tool based on the level, which has done the better balance between the flexibility and the performance.
-
Updated
Oct 29, 2022 - Go
This project aims to create a Snort-based Intrusion Detection System (STS) using Docker. The project simulates various attack scenarios to detect abnormal network traffic and potential attacks, and provides package management with a user-friendly interface.
-
Updated
Sep 22, 2024 - Go
Jing is an agent oriented programming language that provides a Java like syntax for writing IndiGolog programs
-
Updated
Aug 12, 2016 - C
Plan recognition system based on the situation calculus and Golog written in Mercury.
-
Updated
Apr 11, 2013 - MATLAB
Improve this page
Add a description, image, and links to the golog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the golog topic, visit your repo's landing page and select "manage topics."