Berindei

Pinned Repositories

Mona
Language:OCaml00
Prolog-Lambda-Eval
A prolog program that evaluates lambda expressions with a CLI written in python
Language:Python00
ftc-2017-2018-new
Rewritten robot code.
Language:Kotlin20
ftc-2018-2019
Robot code for First Tech Challenge 2018-2019 season
Language:Java20
ftc-2017-2018
Robot code for FTC 2017-2018 season.
Language:Kotlin10

Berindei's Repositories

Berindei/Mona
Language:OCaml
Berindei/Prolog-Lambda-Eval
A prolog program that evaluates lambda expressions with a CLI written in python
Language:Python