Pinned Repositories
First-order-logic-checking
Full description in pdf
GTAP2019
Reversible languages in HoTT, Indiana University GTAP 2019
hash_code_19
Aaaaaaa
opetopes-hs
Opetopes in haskell
rule_110
From arbitrary Turing Machines to Rule 110 in Python
vv
A simple dependently typed language
ZPF
Advanced functional programming (with coq, agda and haskell) 2018
popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
inexxt's Repositories
inexxt/hash_code_19
Aaaaaaa
inexxt/opetopes-hs
Opetopes in haskell
inexxt/rule_110
From arbitrary Turing Machines to Rule 110 in Python
inexxt/ZPF
Advanced functional programming (with coq, agda and haskell) 2018
inexxt/GTAP2019
Reversible languages in HoTT, Indiana University GTAP 2019
inexxt/vv
A simple dependently typed language
inexxt/Aaaasprzedamopla
Aaa
inexxt/beautiful_oneliners
Great python one-and-more-liners found somewhere on the internet or written on my own
inexxt/DPCS
Data Powered Crash Solver
inexxt/gio
inexxt/inexxt.github.io
Build a Jekyll blog in minutes, without touching the command line.
inexxt/IPA_sounds
inexxt/knuth_bendix
Simple implementation of Knuth-Bendix algorithm
inexxt/opetopes
inexxt/opetopes-idris
Opetopes in idris
inexxt/polish_poetry
inexxt/politycy_analiza
Analiza wykształcenia polskich posłów
inexxt/portal_matematyczny
inexxt/pyutils
Useful, oft-repeated things for Python
inexxt/rap_music
Analysis of polish rap music
inexxt/rapping_NN
inexxt/red
inexxt/sc2data
inexxt/simulation_argument_translation
inexxt/slouching_app
inexxt/solidity_course
Repo with solutions for solidity course (MIMUW, 2018)
inexxt/spark-knn
k-Nearest Neighbors algorithm on Spark
inexxt/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
inexxt/SPOJ
inexxt/zsh_files