con-ron
con-ron is A rust port of con-leche. Contribute to leanprover/con-ron development by creating an account on GitHub.. It is ranked #5811 on the Dev Radar, in Languages & runtimes, first seen 50 days ago and shared in 1 post (8k views).
GitHub - leanprover/con-ron: A rust port of con-leche · GitHub Skip to content Navigation Menu Sign in Appearance settings 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 }} leanprover / con-ron Public Notifications You must be signed in to change notification settings Fork 4 Star 30 master Branches Tags Go to file Code Open more actions menu Latest commit History 3,187 Commits 3,187 Commits…
Alternatives to con-ron
- Learn Node.js — Node.js advisory
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
- odin — A complete rewrite of parametric polymorphism onto a pure substitution engine (subst_unify -> subst_apply ->…
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- rea-colin-mcrae-recomp — Colin McRae 1 Recomp
- Functional Programming in Lean — Functional Programming in Lean
con-ron in numbers
- Rank on the Dev Radar: #5811 of 9158
- Shared in 1 post by 1 account: @Leonard41111588
- 8k views on those posts
- First seen 50 days ago, last shared 50 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Languages & runtimes
FAQ
What is con-ron?
A rust port of con-leche. Contribute to leanprover/con-ron development by creating an account on GitHub. It was first shared on X 50 days ago and is ranked #5811 on the Dev Radar.
Is con-ron free?
It is open source.
Who shared con-ron?
1 account on X, including @Leonard41111588, in 1 post totalling 8k 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.3k posts from 5k X accounts over the last 21 days, 9.2k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-03 18:17 UTC. Full method.