luka-mikec Goto Github PK

compstruct

Computable structures, decidability and complexity

evo-clustering

Automatic clustering using a differential evolution approach

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)

justify

Typesetting, rendering and justification autocompletion for Fitch-style and Gentzen-style natural deduction

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.

mu_machine

μ-recursive functions evaluation

plotly-dash-nested-ids-motivation

pmf-materijali

proj4-fully-loaded

Proj4JS Projector Fully Loaded with Projections

provability_sat

satisfiability verifiers for certain modal logics concerned with provability

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.

swot

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

valiant-parsing

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

vue-once-if-issue-demo

vuetify

🐉 Material Component Framework for Vue.js 2