Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.
-
Updated
Oct 1, 2016 - Go
Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.
Problem Solving: A Practical Workbook
fomantic/semantic-ui CSP compliant with latest features such as sliders etc.
A custom Nginx image with certbot, fail2ban, CSP...
AI projects at PWR, mostly in Scala
Optimal ECLiPSe Prolog job-shop scheduling solver
Middleware for express app for adding Content-Security-Policy header
This is a homework about Formulating a game called "Magnet Puzzle" into CSP, then using Backtracking, Forward Checking to solve it. Various heuristics such as MRV, LCV, Arc consistency (AC3) is used to improve the searching performance. This homework is a part of many projects in a Fundamentals to AI course @ FUM.
This is my work at 2021/2022 include : lab , assignment and project solutions
Machine Intelligence Course Coding Assigments
A small package for ASP.Net (Core) to automatically configure secure HTTP-Headers
Small library of concepts in the theory of Constraint Satisfaction Problem and Universal Algebra
Add a description, image, and links to the csp topic page so that developers can more easily learn about it.
To associate your repository with the csp topic, visit your repo's landing page and select "manage topics."