Pinned Loading

1. mu_machine mu_machine Public

   μ-recursive functions evaluation

   C++ 2

2. reinforcement_ipd reinforcement_ipd Public

   Finding a robust iterated prisoner dilemma strategy using reinforcement learning

   C++

3. valiant-parsing 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

4. evo-clustering evo-clustering Public

   Forked from iliavolyova/evo-clustering

   Automatic clustering using a differential evolution approach

   Python

5. justify justify Public

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

   JavaScript

6. reactive_tables reactive_tables Public

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

   Vue 2