konrad-wer

Student of Computer Science at University of Wrocław

Pinned Repositories

NeuralLearning
Neural networks to simulate supervised learning.
Language:Jupyter Notebook0 1 00
Algebraic-Effects-Type-Safety-Verification
Language:Coq0 1 00
Bestrafer
Language:Haskell4 1 00
Computer-networks-course---HTTP-Server
Language:C0 1 00
Computer-networks-course---traceroute
Language:C0 1 00
Equational-Proof-Checker
Proof Checker for equational theories
Language:Haskell5 2 01
GADT-talk
Language:TeX0 2 00
kwoka
My take on the simplified variant of the Koka language
Language:Haskell0 2 00
Nomad---GPX-analyzer
Language:C1 1 00
Sentinel---Proof-Checker
Language:Haskell0 1 00

konrad-wer's Repositories

konrad-wer/Equational-Proof-Checker
Proof Checker for equational theories
Language:Haskell5 2 01
konrad-wer/Bestrafer
Language:Haskell4 1 00
konrad-wer/Nomad---GPX-analyzer
Language:C1 1 00
konrad-wer/Algebraic-Effects-Type-Safety-Verification
Language:Coq0 1 00
konrad-wer/Computer-networks-course---HTTP-Server
Language:C0 1 00
konrad-wer/Computer-networks-course---traceroute
Language:C0 1 00
konrad-wer/GADT-talk
Language:TeX0 2 00
konrad-wer/kwoka
My take on the simplified variant of the Koka language
Language:Haskell0 2 00
konrad-wer/Sentinel---Proof-Checker
Language:Haskell0 1 00
konrad-wer/Numerical-Analysis---in-polish
Language:Jupyter Notebook1 0
konrad-wer/Programming-methodology---PROLOG-HDL-interpreter
Language:Prolog1 01
konrad-wer/quiz
Language:C#1 0
konrad-wer/Simple-programming-language-compiler-and-interpreter
Language:Haskell1 0