bangyen

bangyen's Stars

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  170k5.8k64121.5k

• leachim6/hello-world

  Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!

  Language:Assembly10.9k1361391.9k

• google/latexify_py

  A library to generate LaTeX expression from Python code.

  Language:Python7.2k5682380

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1171.1k217

• angrykoala/awesome-esolangs

  Curated list of awesome Esoteric languages and resources

  494135537

• PopovMP/BrainFuck-SQL

  BrainFuck Interpreter in SQL

  Language:TSQL40604

• kevinsullivan/cs-dm

  CS2012 UVa CS Discrete Math Spring 2018

  Language:Lean15122520

• Enkelt/Enkelt-Dev

  Enkelt utveckling. Här sker programmeringsspråket Enkelts utveckling.

  Language:Python52670