giladwo Goto Github PK

Hi there!
I'm a math and computer science student at Technion.

Easily excited about

• 🧑‍💻 programming languages & paradigms
• 🐧 free libre software
• 🤔 logic
• ✖️ abstract algebra, category theory, homotopy type theory
• 🤖 frc

Have some experience with c, c++, elm.
Playing around with haskell, rescript, julia.
Would love to get up to speed with any of the above or rust, idris, racket, clojure, ocaml, f#, scala.
... although most of my experience is with python & java 🤫.

Public stats: