Elkana Tovey (@elkanatovey)
github

elkanatovey

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 1
  • Following 1
  • Registered over 6 years ago
  • Most used languages
    Python
         66.7 %
    Go
         33.3 %
  • Location 🇮🇱 Israel
  • Country Total Rank 4,604
  • Country Ranking
    Go
         238
    Python
         1,306

Top repositories

1

NAND2TETRIS_10

my solution to project 10 in NAND2TETRIS
Python
1
star
2

automated-reasoning

an implementation of a CDCL based SAT solver, SMT solver for uninterpreted functions, and an LP theory solver for formal verification purposes
Python
1
star
3

dataLink_relay

dataLink_relay is a sockets library in go that allows a server and client to connect via a relay transparently using TCP or MTLS
Go
1
star