andrejbauer Goto Github PK

pro2---reversi

projectless

Prog2 project.

projekt-tomo

repl-in-browser

Implementation of a language interpreter in the browser, using js_of_ocaml.

reversi

Projekt pri predmetu Programiranje2

rz

A tool for automatic generation of specifications based on realizability theory

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

sah

schools

simple-random-art

A simple implementation of Random art in Python. Suitable for teaching and experiments.

six

skokci

Poenostavitev igre Pokemon Duel

slack-to-discord

Transfer Slack archives to a Discord server on a per-channel basis

snakes

A tutorial on how to use Git (in Slovene).

snowflipperpenguin

Best card from KFT

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.

spartan-type-theory

Spartan type theory

staticman

💪 Static sites with superpowers

stiri-v-vrsto

stiri_v_vrsto

Projekt pri predmetu Programiranje 2

stirivrsto

Projekt za FMF, igra štiri v vrsto

the-daily-algebra

The daily algebra fact.

three-hits

All higher inductive types can be obtained from three simple HITs.

tic-tac-toe

Igrica tri v vrsto

ucbenik-logika-in-mnozice

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

urnik

Spletna storitev za prikaz in urejanje urnika

vaje-iz-funkcij

Srednješolske vaje iz funkcij, skupinski projekt pri predmetu Programska oprema pri pouku 2017/18

vislice

Tradicionalna igrica "vislice", ki smo se jo igrali, ko smo bili majhni in še ni bilo pametnih telefonov.

what-is-algebraic-about-algebraic-effects