durmamu

Learning code

Pinned Repositories

badgefirst
badgefirst
Language:Shell00
lean4fork
Lean 4 programming language and theorem prover
Language:Lean00
OpenNMT-py
Open Source Neural Machine Translation and (Large) Language Models in PyTorch
Language:Python00
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k655

durmamu's Repositories

durmamu/OpenNMT-py
Open Source Neural Machine Translation and (Large) Language Models in PyTorch
durmamu/badgefirst
badgefirst
Language:Shell
durmamu/lean4fork
Lean 4 programming language and theorem prover