> все смотрю и нигде не могу найти хотя бы проекта с  синтаксисом как питон ,
> но компилируемым.  

Есть cython, Nuitka
или
Nim(rod), если не пугает примесь паскальщины, но там автор слишком уж много напихал всего, если на мой вкус.
И вне винды могут быть проблемки в скорости IO – тыкал я его пару лет назад, хотел найти замену небольшим питоноскриптам.

Ну или конкретизируйте "синтаксис" - там [в python] на самом деле не так уж и много хорошего. Другими словами – "кривоват", что вылезает в самых неожиданных местах:

>>> type( {} ),type( { () } )
(<type 'dict'>, <type 'set'>)
>>> 1, + 2,
(1, 2)
>>> (1,) + (2,)
(1, 2)
>>> (1,) + 2, 
Traceback (most recent call last):
  File "<input>", line 1, in <module>
    (1,) + 2
>>> __ = [1,2]; _= range(5);[_ for _ in _ if _ not in __]
[0, 3, 4]
>>> __
[1, 2]

Таких "прикольчиков" достаточно.

> видимо писать компилятор для такого синтаксиса мало кому по зубам.

На самом деле проблема в "динамизме", т.к. или придется создавать код для всех возможных комбинаций-вариаций типов или же результат компиляции будет делать проверки-касты-диспатчи в рантайме и получится очередная разновидность интерпретатора.
Для таких ЯП эффективны tracing JIT - когда во время выполнения  отслеживаются конкретно "на месте" используемые типы и "ветки" кода и только они компилируются в машкод.