metinersin

Bogazici UniversityTurkey

Pinned Repositories

BonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
Language:Lean4 3 06
mathlib4
The math library of Lean 4
Language:Lean1.5k 38 408331
ADF4355-3-register-programmer
Language:C#00
AutoBlueprint
Language:Lean00
BonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
Language:Lean1 0 00
FormalTextbookModelTheory
Language:HTML1 1 00
height-estimation-kitti
Language:Jupyter Notebook10
metinersin.github.io
Language:HTML5 1 00
waveform-to-vhdl-process
This program creates vhdl processes from a simple waveform format
Language:Python2 1 00
ISNAS-DIP
ISNAS-DIP: Image Specific Neural Architecture Search for Deep Image Prior [CVPR 2022]
Language:Jupyter Notebook32 3 55

metinersin's Repositories

metinersin/metinersin.github.io
Language:HTML5 1 00
metinersin/waveform-to-vhdl-process
This program creates vhdl processes from a simple waveform format
Language:Python2 1 00
metinersin/BonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
Language:Lean1 0 00
metinersin/FormalTextbookModelTheory
Language:HTML1 1 00
metinersin/height-estimation-kitti
Language:Jupyter Notebook10
metinersin/ADF4355-3-register-programmer
Language:C#00
metinersin/AutoBlueprint
Language:Lean00