vedgar Goto Github PK

checkio-cli

CheckiO command line interface

checkio-mission-completely-empty

compstruct

Computable structures, decidability and complexity

cpython

The Python programming language

dataos

Automatically exported from code.google.com/p/dataos

django-hstore

PostgreSQL HStore support for Django.

find-a-mentor

Coding Coach alpha website

google-api-python-client

🐍 The official Python client library for Google's discovery based APIs.

hello-github-actions

inventwithpython3rded

Croatian translation

inventwithpython3rded-1

Source text for "Invent Your Own Computer Games with Python, 3rd Edition"

ip

Interpretacija programa

izr

izra-unljivost-za-ra-unarce

lap2021

Supporting materials for my talk at Logic and Applications 2021

library

logic-puzzles

Various logic puzzles I've solved in Python

logicday

Zagreb, 13--14 January 2023

luka-python

Neke igrice koje radimo

mlr

Matematička logika u računarstvu

ms

Repozitorij za kolegij "Matematički softver"

my-startup-file

Automatically exported from code.google.com/p/my-startup-file

nfu

Coq files for research on New Foundations with Urelements

pdg-mma

Mathematica Natural Deduction Framework

peps

Python Enhancement Proposals

playground-rka8ska2

Tech.io playground

pmf-materijali

python-wars

Automatically exported from code.google.com/p/python-wars

random-maze-generator

A random maze generator i created