edgeprocess

edgeprocess's Stars

• bmstu-iu9/refal-5-lambda

  Компилятор Рефала-5λ

  Language:C++8135

• shawnw/tawk

  Like awk, but using tcl as the scripting language.

  Language:Tcl10

• FormalTheology/GoedelGod

  Formalizations of Gödel's Ontological Proof of God's Existence

  Language:TeX44038

• google/deepdream

  13.2k3.2k

• ruHaskell/ruhaskell

  Главный сайт сообщества

  Language:Haskell22948

• edgeprocess/subconsym

  1