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.8k 36 21.3k659

durmamu's Repositories

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