Pirouette-Compiler/lib/ast_core at main · Foundations-of-Decentralization-Group/Pirouette-Compiler
Contribute to Foundations-of-Decentralization-Group/Pirouette-Compiler development by creating an account on GitHub.
I also use GADTs in my project to represent ASTs with different types of annotations, and use functors for transformations. I think this method is good because you can annotate arbitrary info while ensuring type safety.
You can take a look at github.com/Foundations-...
07.02.2025 19:40 — 👍 1 🔁 0 💬 1 📌 0
Thank you for sharing these PL opportunities! And I applied for the Poe position
02.02.2025 16:06 — 👍 1 🔁 0 💬 0 📌 0
bsky.app/profile/adze...
02.02.2025 04:01 — 👍 1 🔁 0 💬 0 📌 0
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
black magic-practitioning nix witch
21 | she/her
hell -> https://isabelroses.com/api/discord (there is no good reason for this to exist)
very official meowderatior
The official account for the Virginia Tech College of Engineering! #VTEngineering
Solving complex problems, pushing boundaries, serving others, & reimagining education & technology. We are #VirginiaTech & you are welcome here. Go #Hokies! 🦃
Research and education with global impact. Experts available for interview.
日本華語流動創作實驗室，2025 年於東京成立。
報名參加 6 月 15 日東京大學線下活動「華語客廳在日本」:
https://docs.google.com/forms/d/1h89pYTfwbGGMSK55ZkiCr6uO5X3s3_MF1s3-1dW_7wk/
https://mastodon.social/@Namuru
Building an API Product: Design, implement, release, and maintain API products that meet user needs: https://a.co/d/dE6pQpK
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
Co-founder of Grant Witness: https://grant-witness.us
Epidemiologist. Attorney. Social, legal, and environmental determinants of health.
On Signal: sdelaney.84
Multiple award-winning health and fitness tracker making regular exercise accessible to everyone.
2024 Design Award Winner • 2022 ⌚App Of The Year
If you prefer longer threads: r/GentlerStreakApp
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
William H. Neukom Professor, Stanford Law School. Partner, Lex Lumina LLP. I teach and write in IP, antitrust, internet, and video game law
Have you tried rubbing a database on it?
https://www.hytradboi.com/2025
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
A photo viewing client for u from the creator of @skeetsapp.com & @bluescreen.blue
iOS: https://t1p.de/b3o4x
Android: Not available yet
❓ FAQS: https://t1p.de/24kj0
🐞 Bug Reports: https://t1p.de/phwii
💡 Feature Requests: https://t1p.de/8tmnc
LGBTQIA一生推//双性恋//百合ing// 女朋友是 @yaoyao38324.bsky.social //程序员//伪全栈工程师//伪科研人员//真·法语学习博主//中文//English//français// 可能会ban纯黄推、纯政治推 //见到Incel、terf、小粉红、魔怔人立刻拉黑//随缘回粉，想要互粉可以私信我
Husband, dad, cyclist, OCaml h4x0r, Cornell CS professor (in that order)
Technical advisor to @bluesky - first engineer at Protocol Labs. Wizard Utopian
dec/acc 🌱 🪴 🌳
