alyata Goto Github PK

alyata.github.io

computability-and-logic-notes

My personal notes for the Computability and Logic textbook.

devicon

Set of icons representing programming languages, designing & development tools

dotfiles

My configuration files

ethereum-api

Provable API for Ethereum smart contracts

fieldsimia

Electric field simulation for my computer science IA project.

fieldsimia2

Redesign of the original FieldSimIA. Submitted as part of my IB Computer Science Internal Assessment.

flypitch

A formal proof of the independence of the continuum hypothesis

fol_lean

Deep embedding of First-Order Logic in Lean

formalising-math-1

formalising-math-2

formalising-math-3

fosae

Simple Implementation of First Order state autoencoder - https://arxiv.org/abs/1902.08093

handtracking

Building a Real-time Hand-Detector using Neural Networks (SSD) on Tensorflow

hottest-summer-school

HoTTEST Summer School materials

metadtt

Implementation of a dependent type theory with internalised metaprogramming

modal-ott

Formalisation of a modal dependent type theory using OTT

pokemon-showdown-node-bot

Pokemon Showdown Bot with openAI gym integration

primitive-recursion

Exercises in implementing primitive recursive functions

pyplup

Pokemon Showdown API in python

scotland-yard

A digital recreation of Scotland Yard

secret-fans

whileparser