Michał Łuszczyk mluszczyk

• Warsaw

Pinned Loading

1. Solve SAT with neural networks

   Jupyter Notebook 6 1

2. UNet implementation: deep learning course at UW

   Python

3. Compile Latte to LLVM and x64: compilers course at UW

   Haskell

4. Haskell subset interpreter in Haskell: programming languages course at UW

   Haskell

6. Semaphore groups in MINIX: operating systems course at UW

   C 1