Pinned Repositories
compstruct
Computable structures, decidability and complexity
evo-clustering
Automatic clustering using a differential evolution approach
justify
Typesetting, rendering and justification autocompletion for Fitch-style and Gentzen-style natural deduction
mu_machine
μ-recursive functions evaluation
reactive_tables
An experimental spreadsheet application built using Vue 3's reactivity engine
reinforcement_ipd
Finding a robust iterated prisoner dilemma strategy using reinforcement learning
sequent-calculus
a (very) basic automated prover for first order logic
sql-web-shell
A (very) simple online DBMS interface. Supports running queries and uploading files.
valiant-parsing
Implementation of the algorithm from "General Context-Free Recognition in Less than Cubic Time" by Leslie G. Valiant (1975.)
luka-mikec's Repositories
luka-mikec/valiant-parsing
Implementation of the algorithm from "General Context-Free Recognition in Less than Cubic Time" by Leslie G. Valiant (1975.)
luka-mikec/mu_machine
μ-recursive functions evaluation
luka-mikec/reactive_tables
An experimental spreadsheet application built using Vue 3's reactivity engine
luka-mikec/sequent-calculus
a (very) basic automated prover for first order logic
luka-mikec/sql-web-shell
A (very) simple online DBMS interface. Supports running queries and uploading files.
luka-mikec/compstruct
Computable structures, decidability and complexity
luka-mikec/evo-clustering
Automatic clustering using a differential evolution approach
luka-mikec/justify
Typesetting, rendering and justification autocompletion for Fitch-style and Gentzen-style natural deduction
luka-mikec/reinforcement_ipd
Finding a robust iterated prisoner dilemma strategy using reinforcement learning
luka-mikec/godellob-prover
Automated theorem prover for Gödel-Löb system.
luka-mikec/inverse-standard-translation
Retrieving a locally equivalent modal formula for a given first-order formula (the inverse of the standard translation)
luka-mikec/macro-ram-machine
Computation model emulator (infinite memory, infinite variable size, commands inc n, dec n w, goto w, stop, with macros)
luka-mikec/minimal-php-forum
A very minimal PHP forum. Uses text files for saving stuff.
luka-mikec/plotly-dash-nested-ids-motivation
luka-mikec/pmf-materijali
luka-mikec/proj4-fully-loaded
Proj4JS Projector Fully Loaded with Projections
luka-mikec/provability_sat
satisfiability verifiers for certain modal logics concerned with provability
luka-mikec/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
luka-mikec/vue-once-if-issue-demo
luka-mikec/vuetify
🐉 Material Component Framework for Vue.js 2