#programming-language

2件のスキルがこのタグを使用しています

関連タグ

ai dependent-types llm m-expression theorem-proving compiler intel ispc simd spmd

ispc

ispc-lit-tests

ispc / ispc

Intel® Implicit SPMD Program Compiler

compilerintelispc+3

jaggederest

locque-authoring

jaggederest / locque

Locque, a dependently-typed LLM first programming language

aidependent-typesllm+3