Bupaheh

Pinned Repositories

big-data-course
Language:Go00
BMP-Handler
Language:C00
Bupaheh.github.io
Language:HTML0 1 00
bv2int-jupyter
Language:Jupyter Notebook00
chartographer
Language:Java00
compilers-supplementary
Language:TeX00
home-assignments-autumn-2022
Language:Python00
Huffman-Archiver
Language:C++00
normal-forms-converter
Language:Haskell00
ksmt
Kotlin/Java API for various SMT solvers
Language:Kotlin27 2 1613

Bupaheh's Repositories

Bupaheh/big-data-course
Language:Go00
Bupaheh/BMP-Handler
Language:C00
Bupaheh/Bupaheh.github.io
Language:HTML0 1 00
Bupaheh/bv2int-jupyter
Language:Jupyter Notebook00
Bupaheh/chartographer
Language:Java00
Bupaheh/compilers-supplementary
Language:TeX00
Bupaheh/home-assignments-autumn-2022
Language:Python00
Bupaheh/Huffman-Archiver
Language:C++00
Bupaheh/normal-forms-converter
Language:Haskell00
Bupaheh/hard-disk-benchmark
Language:Kotlin
Bupaheh/ideolog-task
Language:Kotlin
Bupaheh/ksmt
Kotlin API for various SMT solvers
Language:Kotlin
Bupaheh/N-queens-problem
Language:Kotlin
Bupaheh/network-labs
Language:Kotlin
Bupaheh/python-homeworks
Language:Python
Bupaheh/talk-chat
Language:Kotlin
Bupaheh/VM-HW
Language:C
Bupaheh/wiki-stat
Language:Kotlin
Bupaheh/yices2_java_bindings
Java bindings for Yices 2.
Language:C++