Skip to content
View luka-mikec's full-sized avatar
11 followers · 8 following

Sponsoring

@yyx990803

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report luka-mikec

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

  • pmf-materijali Public

    C 2 Updated Jan 6, 2025

  • sql-web-shell Public

    A (very) simple online DBMS interface. Supports running queries and uploading files.

    Vue 1 Updated Jan 5, 2023

  • compstruct Public

    Forked from vedgar/compstruct

    Computable structures, decidability and complexity

    HTML Updated Oct 24, 2022

  • proj4-fully-loaded Public

    Forked from DanielJDufour/proj4-fully-loaded

    Proj4JS Projector Fully Loaded with Projections

    JavaScript Creative Commons Zero v1.0 Universal Updated Oct 13, 2022

  • plotly-dash-nested-ids-motivation Public

    Python Updated May 27, 2022

  • reactive_tables Public

    An experimental spreadsheet application built using Vue 3's reactivity engine

    Vue 2 Updated Jan 25, 2021

  • inverse-standard-translation Public

    Retrieving a locally equivalent modal formula for a given first-order formula (the inverse of the standard translation)

    JavaScript Updated Dec 18, 2020

  • vue-once-if-issue-demo Public

    Vue Updated Sep 18, 2020

  • provability_sat Public

    satisfiability verifiers for certain modal logics concerned with provability

    Nim Updated Nov 9, 2019

  • vuetify Public

    Forked from vuetifyjs/vuetify

    🐉 Material Component Framework for Vue.js 2

    TypeScript MIT License Updated Sep 28, 2019

  • sequent-calculus Public

    a (very) basic automated prover for first order logic

    JavaScript 1 Updated May 1, 2019

  • reinforcement_ipd Public

    Finding a robust iterated prisoner dilemma strategy using reinforcement learning

    C++ Updated Jun 21, 2016

  • valiant-parsing Public

    Implementation of the algorithm from "General Context-Free Recognition in Less than Cubic Time" by Leslie G. Valiant (1975.)

    C++ 5 1 Updated Jan 27, 2016

  • mu_machine Public

    μ-recursive functions evaluation

    C++ 2 Updated Jan 26, 2016

  • evo-clustering Public

    Forked from iliavolyova/evo-clustering

    Automatic clustering using a differential evolution approach

    Python MIT License Updated Feb 15, 2015

  • macro-ram-machine Public

    Computation model emulator (infinite memory, infinite variable size, commands inc n, dec n w, goto w, stop, with macros)

    C++ MIT License Updated Dec 23, 2014

  • swot Public

    Forked from JetBrains/swot

    Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

    Kotlin MIT License Updated Oct 11, 2014

  • godellob-prover Public

    Automated theorem prover for Gödel-Löb system.

    C++ MIT License Updated Apr 3, 2014

  • minimal-php-forum Public

    A very minimal PHP forum. Uses text files for saving stuff.

    Updated Jan 20, 2014