typing-rules-as-programs
typing-rules-as-programs is In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq - barry-jay-personal/typing-rules-as-programs. It is ranked #359 on the Dev Radar, in Languages & runtimes, first seen 1 h ago and shared in 1 post (2.1k views).
GitHub - barry-jay-personal/typing-rules-as-programs: In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq · GitHub Skip to content Navigation Menu Sign in Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation typing-rules-as-programs Public Notifications You must be signed in to change notification settings Fork 0 ( 0 ) Star 0 ( 0 ) You must…
What people said about typing-rules-as-programs on X
Yo, PLT nerds @Jay59009444 just dropped https://github.com/Barry-Jay-personal/typing-rules-as-programs. Explainer PDF at https://github.com/barry-jay-personal/typing-rules-as-programs/blob/main/paper/typing-rules-become-programs.pdf
— @GeoffreyHuntley, 1 h ago · 25 likes · see the post
Alternatives to typing-rules-as-programs
- Learn Node.js — Node.js advisory
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- Microsoft Foundry Blog — TypeScript 7.1 Beta is now available! Now with a preview API, content mapper support, new features, and some great…
- odin — A complete rewrite of parametric polymorphism onto a pure substitution engine (subst_unify -> subst_apply ->…
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
- godraw — infinite canvas in mygo. Contribute to egoist/godraw development by creating an account on GitHub.
typing-rules-as-programs in numbers
- Rank on the Dev Radar: #359 of 9369
- Shared in 1 post by 1 account: @GeoffreyHuntley
- 2.1k views on those posts
- First seen 1 h ago, last shared 1 h ago
- Pricing seen by AGK Intelligence: open source
- Market: Languages & runtimes
FAQ
What is typing-rules-as-programs?
In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq - barry-jay-personal/typing-rules-as-programs It was first shared on X 1 h ago and is ranked #359 on the Dev Radar.
Is typing-rules-as-programs free?
It is open source.
Who shared typing-rules-as-programs?
1 account on X, including @GeoffreyHuntley, in 1 post totalling 2.1k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.7k posts from 5k X accounts over the last 21 days, 9.4k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-05 14:03 UTC. Full method.