Hacker News
- The P Programming Language: Formal modeling and analysis of distributed systems https://github.com/p-org/P 2 comments
- The P programming language https://github.com/p-org/P 87 comments
Linking pages
- One Letter Programming Languages https://beza1e1.tuxen.de/one_letter_proglangs.html 417 comments
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- GitHub - quozd/awesome-dotnet: A collection of awesome .NET libraries, tools, frameworks and software https://github.com/quozd/awesome-dotnet 54 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Notes on Every Strangeloop 2022 Talk I Attended • Hillel Wayne https://www.hillelwayne.com/post/strangeloop-22/ 32 comments
- The Case for Models | Concerning Quality https://concerningquality.com/models/ 23 comments
- GitHub - ChessMax/awesome-programming-languages: The list of an awesome programming languages that you might be interested in https://github.com/ChessMax/awesome-programming-languages 7 comments
- TLA+ Made Simple with ChatGPT | Cheng Huang’s corner https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html 2 comments
- Microsoft's P language is aimed at where cloud, AI, and IoT meet | InfoWorld http://www.infoworld.com/article/3197852/application-development/microsofts-p-language-is-aimed-at-where-cloud-ai-and-iot-meet.html 0 comments
- GitHub - sderosiaux/every-single-day-i-tldr: A daily digest of the articles or videos I've found interesting, that I want to share with you. https://github.com/sderosiaux/every-single-day-i-tldr 0 comments
- Architecture is drawing lines | State Backed https://docs.statebacked.dev/blog/2023/10/03/architecture-is-drawing-lines/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - p-org/P: The P programming language.
See how to search.