Skip to content
View vanHavel's full-sized avatar
25 followers · 21 following

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report vanHavel

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

  • cpp-competitive Public

    Competitive programming library for c++

    C++ Updated Jun 23, 2024

  • AdventOfCode2023 Public

    Python Updated Dec 25, 2023

  • gpu-jupyter Public

    Forked from iot-salzburg/gpu-jupyter

    Leverage the flexibility of Jupyterlab through the power of your NVIDIA GPU to run your code from Tensorflow and Pytorch in collaborative notebooks on the GPU.

    Jupyter Notebook 1 Apache License 2.0 Updated Nov 27, 2023

  • Sparerpauschbetrag Public

    Python MIT License Updated Aug 13, 2023

  • coredns-helm Public

    Forked from coredns/helm

    Helm Charts for CoreDNS

    Mustache Apache License 2.0 Updated Mar 28, 2023

  • AdventOfCode2022 Public

    My solutions to Advent of Code 2022

    Haskell MIT License Updated Dec 25, 2022

  • antibait Public

    Automatically discovering the answers to clickbait headlines in news articles.

    Python 1 Other Updated Dec 8, 2022

  • ProjectEuler Public

    My Project Euler solutions

    Python MIT License Updated Nov 7, 2022

  • glove-python Public

    Forked from maciejkula/glove-python

    Toy Python implementation of http:https://www-nlp.stanford.edu/projects/glove/

    Python Apache License 2.0 Updated Feb 19, 2022

  • AdventOfCode2021 Public

    My solutions to advent of code 2021

    Python MIT License Updated Dec 25, 2021

  • SecretHitlerDiscord Public

    Forked from emunroe/SecretHitlerDiscord

    A discord bot for the famous board game Secret Hitler

    Python Other Updated Feb 7, 2021

  • AdventOfCode2020 Public

    My solutions to Advent of Code 2020

    Haskell 2 MIT License Updated Dec 27, 2020

  • piecelearn Public

    Forked from stephantul/piecelearn

    Learning BPE embeddings by first learning a segmentation model and then training word2vec

    Python MIT License Updated Oct 30, 2020

  • cpbook-code Public

    Forked from stevenhalim/cpbook-code

    CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

    Java Updated Sep 14, 2020

  • sudoku-scala Public

    Simple backtracking sudoku solver in Scala

    Scala MIT License Updated Aug 29, 2020

  • ChatBar Public

    Display Twitch Chat in MacBook Pro Touchbar

    Rich Text Format 17 2 Other Updated May 28, 2020

  • AdventOfCode2019 Public

    My solutions to AdventOfCode 2019

    Haskell MIT License Updated Dec 25, 2019

  • bp-mll-tensorflow Public

    Implementation of the BP-MLL loss function in Tensorflow

    Python 38 23 MIT License Updated Aug 10, 2019

  • games-cnn Public

    ML experiments using game screenshots

    Python 7 3 Other Updated May 13, 2019

  • lotterywheels Public

    An attempt to improve the upper bound for L(49,6,6,3).

    C++ 1 3 Updated Apr 5, 2019

  • AdventOfCode2018 Public

    My solutions to advent of code 2018

    Haskell MIT License Updated Jan 26, 2019

  • vanHavel.github.io Public

    JavaScript Updated Dec 25, 2018

  • type-tracker Public

    A simple functional programming game written in Typescript

    PureScript Updated Aug 29, 2018

  • codejam-java Public

    Utility classes for Google Code Jam

    Java Other Updated May 18, 2018

  • purescript-quickcheck Public

    Forked from purescript/purescript-quickcheck

    An implementation of QuickCheck in PureScript

    PureScript MIT License Updated Jan 6, 2018

  • AdventOfCode2017 Public

    Solutions to Advent of Code 2017

    Haskell MIT License Updated Dec 25, 2017

  • Parallel-Functional-Programming-Benchmarks Public

    Language Comparison on absolute speeds and relative speedups

    Erlang 3 1 Updated May 26, 2017

  • TwitNet Public

    Some scripts for training a neural network language model on tweets.

    Python 3 MIT License Updated Jan 7, 2017

  • AdventOfCode2016 Public

    My solutions to the AdventOfCode puzzles 2016

    Haskell Updated Dec 25, 2016

  • OmAlg Public

    Toolkit for the algebraic theory of omega-automata

    C++ 2 Other Updated Aug 15, 2016