Kip Programlama Dili
A programming language in Turkish where grammatical case and mood are part of the type system.
Popular repositories Loading
-
metatheory
metatheory PublicMechanized proofs in Rocq about core Kip: static semantics, dynamic semantics, type soundness, and compile-time overload elaboration.
Rocq Prover 2
-
Repositories
Showing 3 of 3 repositories
- kip Public
A programming language in Turkish where grammatical case and mood are part of the type system.
kip-dili/kip’s past year of commit activity - metatheory Public
Mechanized proofs in Rocq about core Kip: static semantics, dynamic semantics, type soundness, and compile-time overload elaboration.
kip-dili/metatheory’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…