inexxt

hash_code_19

Aaaaaaa

opetopes-hs

Opetopes in haskell

rule_110

From arbitrary Turing Machines to Rule 110 in Python

ZPF

Advanced functional programming (with coq, agda and haskell) 2018

GTAP2019

Reversible languages in HoTT, Indiana University GTAP 2019

vv

A simple dependently typed language

Aaaasprzedamopla

Aaa

beautiful_oneliners

Great python one-and-more-liners found somewhere on the internet or written on my own

DPCS

Data Powered Crash Solver

gio

inexxt.github.io

Build a Jekyll blog in minutes, without touching the command line.

IPA_sounds

knuth_bendix

Simple implementation of Knuth-Bendix algorithm

opetopes

opetopes-idris

Opetopes in idris

polish_poetry

politycy_analiza

Analiza wykształcenia polskich posłów

portal_matematyczny

pyutils

Useful, oft-repeated things for Python

rap_music

Analysis of polish rap music

rapping_NN

red

sc2data

simulation_argument_translation

slouching_app

solidity_course

Repo with solutions for solidity course (MIMUW, 2018)

spark-knn

k-Nearest Neighbors algorithm on Spark

spearmint

Spearmint is a package to perform Bayesian optimization according to the algorithms outlined in the paper: Practical Bayesian Optimization of Machine Learning Algorithms. Jasper Snoek, Hugo Larochelle and Ryan P. Adams. Advances in Neural Information Processing Systems, 2012

SPOJ

zsh_files