Luka Mikec's repositories
valiant-parsing
Implementation of the algorithm from "General Context-Free Recognition in Less than Cubic Time" by Leslie G. Valiant (1975.)
mu_machine
μ-recursive functions evaluation
reactive_tables
An experimental spreadsheet application built using Vue 3's reactivity engine
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.
compstruct
Computable structures, decidability and complexity
evo-clustering
Automatic clustering using a differential evolution approach
reinforcement_ipd
Finding a robust iterated prisoner dilemma strategy using reinforcement learning
godellob-prover
Automated theorem prover for Gödel-Löb system.
inverse-standard-translation
Retrieving a locally equivalent modal formula for a given first-order formula (the inverse of the standard translation)
macro-ram-machine
Computation model emulator (infinite memory, infinite variable size, commands inc n, dec n w, goto w, stop, with macros)
minimal-php-forum
A very minimal PHP forum. Uses text files for saving stuff.
proj4-fully-loaded
Proj4JS Projector Fully Loaded with Projections
provability_sat
satisfiability verifiers for certain modal logics concerned with provability