Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
View lukovdm's full-sized avatar
3 followers · 0 following
  • The Netherlands

Achievements

Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: YOLO

Highlights

  • Pro

Block or report lukovdm

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

  • bf2-www Public

    The new website for the BF2s.

    hacktoberfest
    SCSS 2 GNU Affero General Public License v3.0 Updated Mar 7, 2025

  • MasterThesisIrisElpi Public

    The code for my Master Thesis

    TeX BSD 3-Clause "New" or "Revised" License Updated Mar 6, 2025

  • synthesis Public

    Forked from randriu/synthesis
    templ GNU General Public License v3.0 Updated Jan 27, 2025

  • storm Public

    Forked from moves-rwth/storm

    A Modern Probabilistic Model Checker

    C++ GNU General Public License v3.0 Updated Jan 16, 2025

  • stormpy Public

    Forked from moves-rwth/stormpy

    Python Bindings for the Probabilistic Model Checker Storm

    C++ GNU General Public License v3.0 Updated Jan 16, 2025

  • nix-config Public

    Nixos config

    Nix Updated Jan 12, 2025

  • MercatorStairClimberTrackerDashboard Public

    HTML GNU General Public License v3.0 Updated Oct 23, 2024

  • qmk_firmware Public

    Forked from qmk/qmk_firmware

    Open-source keyboard firmware for Atmel AVR and Arm USB families

    C GNU General Public License v2.0 Updated Sep 3, 2024

  • dropping-site Public

    HTML Updated Jun 1, 2024

  • elpi Public

    Forked from LPCIC/elpi

    Embeddable Lambda Prolog Interpreter

    Prolog GNU Lesser General Public License v2.1 Updated Nov 7, 2023

  • coq-elpi Public

    Forked from LPCIC/coq-elpi

    Coq plugin embedding elpi

    OCaml GNU Lesser General Public License v2.1 Updated Oct 31, 2023

  • OtwozordSolutionsHomePage Public

    Home page for the company Otwozord Solutions

    MIT License Updated Oct 3, 2023

  • Tourney-Lib Public

    Rust Updated Jun 21, 2023

  • hiom-sim Public

    A simulation of the paper "The polarization within and across individuals: the hierarchical Ising opinion model"

    Rust Apache License 2.0 Updated Jan 7, 2023

  • AOC2022 Public

    Advent of code 2022

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 11, 2022

  • ultimate-play-gen Public

    Generate random ultimate frisbee plays

    JavaScript GNU General Public License v3.0 Updated May 20, 2021

  • ar-part2-set Public

    TeX Updated Jan 5, 2021

  • easylist Public

    Forked from easylist/easylist

    EasyList filter subscription

    Python Updated Oct 4, 2019

  • gitflow-exercises Public

    Forked from DigitPaint/gitflow-exercises

    Exercise repository for GitFlow Workshop

    HTML Updated Jan 10, 2018

  • NN-paper Public

    Code for my paper on neural networks

    Python MIT License Updated Oct 24, 2016

  • NN-tests Public

    A repo for my NN tests

    Python MIT License Updated Jul 9, 2016

  • Froggy Public

    A froggy sort of clone for now

    C# Updated Feb 12, 2016

  • Project-weeee-poof Public

    A FPS multiplayer game

    C# GNU General Public License v3.0 Updated Dec 19, 2015

  • roosterNotificationsWebsite Public

    Django website of roosterNotifcations

    JavaScript GNU General Public License v3.0 Updated Nov 4, 2015

  • ALSpel Public

    Our first game

    C# GNU General Public License v2.0 Updated Aug 26, 2015

  • AdvancedPythonCourse Public

    Python Updated May 12, 2015

  • roosterNotifications Public

    Python Updated Oct 17, 2014

  • BikeRace Public

    ASP Updated Oct 8, 2014

  • FingerTwister Public

    Twister with your fingers on a keyboard

    ASP Updated Aug 31, 2014

  • CamDoor Public

    make photo when opening door

    Python Updated Aug 20, 2014