Vedran Čačić (vedgar)

vedgar

Geek Repo

Company:PMF - Matematički odsjek

Location:Zagreb

Home Page:http://vedgar.googlepages.com

Github PK Tool:Github PK Tool

Vedran Čačić's repositories

ip

Interpretacija programa

Language:PythonLicense:UnlicenseStargazers:5Issues:3Issues:0
Language:TeXLicense:UnlicenseStargazers:5Issues:4Issues:0

ms

Repozitorij za kolegij "Matematički softver"

Language:Jupyter NotebookLicense:UnlicenseStargazers:5Issues:3Issues:0

compstruct

Computable structures, decidability and complexity

Language:HTMLStargazers:1Issues:2Issues:0

NFU

Coq files for research on New Foundations with Urelements

Language:CoqLicense:UnlicenseStargazers:1Issues:0Issues:0

checkio-cli

CheckiO command line interface

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dataos

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

Stargazers:0Issues:0Issues:0

django-hstore

PostgreSQL HStore support for Django.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

find-a-mentor

Coding Coach alpha website

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

google-api-python-client

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

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

inventwithpython3rded

Croatian translation

Language:PythonStargazers:0Issues:2Issues:0

inventwithpython3rded-1

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

Language:PythonStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

LAP2021

Supporting materials for my talk at Logic and Applications 2021

Language:CoqLicense:UnlicenseStargazers:0Issues:1Issues:0
Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

logic-puzzles

Various logic puzzles I've solved in Python

Language:PythonStargazers:0Issues:0Issues:0

logicday

Zagreb, 13--14 January 2023

Language:TeXLicense:UnlicenseStargazers:0Issues:1Issues:0

Luka-python

Neke igrice koje radimo

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mlr

Matematička logika u računarstvu

Language:TeXLicense:UnlicenseStargazers:0Issues:0Issues:0

my-startup-file

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

Language:PythonStargazers:0Issues:0Issues:0

pdg-mma

Mathematica Natural Deduction Framework

Language:MathematicaLicense:UnlicenseStargazers:0Issues:1Issues:0

peps

Python Enhancement Proposals

Language:PythonStargazers:0Issues:1Issues:0

playground-rKA8sKA2

Tech.io playground

Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

python-wars

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

Language:PythonStargazers:0Issues:0Issues:0

Random-Maze-Generator

A random maze generator i created

Stargazers:0Issues:0Issues:0