Pinned Repositories
formalising-math-1
dotfiles
My configuration files
FieldSimIA
Electric field simulation for my computer science IA project.
fol_lean
Deep embedding of First-Order Logic in Lean
pyplup
Pokemon Showdown API in python
Scotland-Yard
A digital recreation of Scotland Yard
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
ethereum-api
Provable API for Ethereum smart contracts
alyata's Repositories
alyata/alyata.github.io
alyata/HoTTEST-Summer-School
HoTTEST Summer School materials
alyata/modal-ott
Formalisation of a modal dependent type theory using OTT
alyata/formalising-math-3
alyata/formalising-math-2
alyata/metaDTT
Implementation of a dependent type theory with internalised metaprogramming
alyata/formalising-math-1
alyata/ethereum-api
Provable API for Ethereum smart contracts
alyata/fol_lean
Deep embedding of First-Order Logic in Lean
alyata/dotfiles
My configuration files
alyata/Computability-and-Logic-Notes
My personal notes for the Computability and Logic textbook.
alyata/primitive-recursion
Exercises in implementing primitive recursive functions
alyata/whileParser
alyata/FOSAE
Simple Implementation of First Order state autoencoder - https://arxiv.org/abs/1902.08093
alyata/pyplup
Pokemon Showdown API in python
alyata/flypitch
A formal proof of the independence of the continuum hypothesis
alyata/secret-fans
alyata/devicon
Set of icons representing programming languages, designing & development tools
alyata/handtracking
Building a Real-time Hand-Detector using Neural Networks (SSD) on Tensorflow
alyata/FieldSimIA2
Redesign of the original FieldSimIA. Submitted as part of my IB Computer Science Internal Assessment.
alyata/Pokemon-Showdown-Node-Bot
Pokemon Showdown Bot with openAI gym integration
alyata/FieldSimIA
Electric field simulation for my computer science IA project.
alyata/Scotland-Yard
A digital recreation of Scotland Yard