Hacker News
- Temporal Programming, a new name for an old paradigm https://github.com/aappleby/Metron/blob/master/docs/TemporalTLDR.md 82 comments
- Temporal Programming, a new name for an old paradigm https://github.com/aappleby/Metron/blob/master/docs/TemporalTLDR.md 6 comments compsci
- Temporal Programming, a new name for an old paradigm https://github.com/aappleby/Metron/blob/master/docs/TemporalTLDR.md 37 comments programminglanguages
Linked pages
- Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs: Communications of the ACM: Vol 21, No 8 https://dl.acm.org/doi/10.1145/359576.359579 143 comments
- GitHub - aappleby/MetroBoy: A repository of gate-level simulators and tools for the original Game Boy. https://github.com/aappleby/MetroBoy 104 comments
- TLA+ - Wikipedia https://en.wikipedia.org/wiki/TLA%2B 92 comments
- Esterel - Wikipedia https://en.wikipedia.org/wiki/Esterel 5 comments
- GitHub - aappleby/Metron: A C++ to Verilog translation tool with some basic guarantees that your code will work. https://github.com/aappleby/Metron 2 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:github.com
Search title: Metron/TemporalTLDR.md at master · aappleby/Metron · GitHub
See how to search.