magmkri

CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

Databaser-prosjekt

Basic database handling in Java

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

hakathon-brain

KryptoGutta

Web development with Javascript and Python, using the micro-framework Flask

MCTS-board-games

MCTS-with-NN

Monte Carlo tree search w/ Neural Net critic

prox

RL-for-Peg-Solitaire

Sudoku-solver

Solving Sudoku boards using a general CSP approach, specifically using backtracking search and the AC-3 algorithm

magmkri/CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

magmkri/Databaser-prosjekt

Basic database handling in Java

magmkri/foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

magmkri/hakathon-brain

magmkri/KryptoGutta

Web development with Javascript and Python, using the micro-framework Flask

magmkri/MCTS-board-games

magmkri/MCTS-with-NN

Monte Carlo tree search w/ Neural Net critic

magmkri/prox

magmkri/RL-for-Peg-Solitaire

magmkri/Skattebit

Enkel nettside for å regne ut inntekt/tap av kryptohandler

magmkri/Sudoku-solver

Solving Sudoku boards using a general CSP approach, specifically using backtracking search and the AC-3 algorithm

magmkri/Sandkasse

Testing java application development using LWJGL

magmkri/token-mix

A bare-bones ERC20 template.

magmkri/Treningsdagbok