Skip to content
View inexxt's full-sized avatar
11 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report inexxt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • inexxt.github.io Public

    Forked from barryclark/jekyll-now

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

    SCSS MIT License Updated Nov 16, 2022

  • vv Public

    A simple dependently typed language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 12, 2021

  • rule_110 Public

    From arbitrary Turing Machines to Rule 110 in Python

    Python 1 1 Updated Jul 12, 2021

  • GTAP2019 Public

    Reversible languages in HoTT, Indiana University GTAP 2019

    Agda Updated Jul 12, 2021

  • gio Public

    Java 1 The Unlicense Updated Jun 9, 2021

  • solidity_course Public

    Repo with solutions for solidity course (MIMUW, 2018)

    Jupyter Notebook Updated Feb 10, 2021

  • knuth_bendix Public

    Simple implementation of Knuth-Bendix algorithm

    Python Updated Sep 10, 2019

  • hash_code_19 Public

    Aaaaaaa

    Jupyter Notebook 1 Updated Feb 28, 2019

  • opetopes Public

    Jupyter Notebook Updated Oct 6, 2018

  • zsh_files Public

    Shell Updated Sep 19, 2018

  • opetopes-idris Public

    Opetopes in idris

    Idris Updated Jun 28, 2018

  • opetopes-hs Public

    Opetopes in haskell

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Jun 8, 2018

  • Aaaasprzedamopla Public

    Aaa

    Python Updated May 27, 2018

  • ZPF Public

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

    Jupyter Notebook 1 Updated Mar 31, 2018

  • polish_poetry Public

    Jupyter Notebook Updated Mar 16, 2018

  • spearmint Public

    Forked from JasperSnoek/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 Laroche…

    Python Updated Sep 15, 2017

  • spark-knn Public

    Forked from saurfang/spark-knn

    k-Nearest Neighbors algorithm on Spark

    Scala Apache License 2.0 Updated Mar 3, 2017

  • rap_music Public

    Analysis of polish rap music

    Jupyter Notebook Updated Jan 10, 2017

  • pyutils Public

    Forked from haaksmash/pyutils

    Useful, oft-repeated things for Python

    Python Updated Aug 23, 2016

  • beautiful_oneliners Public

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

    Python Updated Jul 15, 2016

  • politycy_analiza Public

    Analiza wykształcenia polskich posłów

    Jupyter Notebook 1 Updated May 5, 2016

  • DPCS Public

    Forked from DPCS-team/DPCS

    Data Powered Crash Solver

    Python Updated Apr 23, 2016

  • sc2data Public

    Jupyter Notebook Updated Apr 4, 2016

  • rapping_NN Public

    JavaScript Updated Dec 30, 2015

  • IPA_sounds Public

    CSS Updated Dec 30, 2015

  • slouching_app Public

    Java Updated Dec 30, 2015

  • red Public

    JavaScript Updated Dec 30, 2015

  • simulation_argument_translation Public

    TeX Updated Dec 30, 2015

  • SPOJ Public

    C++ Updated Dec 30, 2015

  • portal_matematyczny Public

    Updated Dec 30, 2015