callmekit 的提交内容

ONNX – Open Neural Network Exchange – Release v1.3

Internet Problem Solving Contest 2018: October 6

Logic programming courses

Microsoft Q# Quantum Coding Contest this weekend

Microsoft Quantum Coding Contest

Microsoft Quantum Coding Contest

Beating ZX Spectrum Game “Logo: Part 1” with Picat (2016)

InterProlog Studio Is a Simple IDE for XSB Prolog

SciPy 2016: “Data Science is Software” tutorial

Flix: functional/logic programming language

Communicating data science: A guide to presenting your work

IPSC 2016 will start on 18 June 2016 at 11:00 UTC

Building Problem Solvers (1993)

Picat tutorial at FLOPS'16

A Vision for Relational Programming in miniKanren – William E. Byrd

Pictures from the On-Line Encyclopedia of Integer Sequences

Solving the Prisoners’ Dilemma

Life Is Beautiful: The Startling Consequences of Three Simple Rules

Logtalk 3.5.0 released with improved developer tools and compiler lint checker

Beating ZX Spectrum Game “Logo: Part 1” with Picat

PROGRAMMER IS OVERLY POLITE

Upcoming April Fools Day Contest 2016 at Codeforces

Gofmt knows best

Google Code-in contest for teens starts December 7th 2015

An Introduction to Tabled Logic Programming with Picat