Grigore showed that Java generics are Turing complete by describing a
reduction from Turing machines to Java subtyping. We apply Grigore's algorithm
to Python type hints and deduce that they are Turing complete. In addition, we
present an alternative redu... (more…)
Read more »
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell. - naver/lispe... (more…)
Read more »
Welcome to Hissp’s documentation!
Jump in and try the quick start first if you’re feeling confident,
or start with the longer, but less comprehensive tutorial. (more…)
Read more »
Serve click scripts over the web. Contribute to fredrik-corneliusson/click-web development by creating an account on GitHub. (more…)
Read more »
A modern and customizable python UI-library based on Tkinter - GitHub - TomSchimansky/CustomTkinter: A modern and customizable python UI-library based on Tkinter... (more…)
Read more »
