| 09/20 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/19 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/19 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/19 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/19 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/18 | 7 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 10/07 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 10/03 | 6 |
Metal and OpenGL shader effects library for React Native and Expo apps.
|
| 10/03 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/29 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/27 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/27 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/26 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/25 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/23 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/23 | 6 |
Auto-tuned launcher that measures multi-GPU hardware for GGUF models, picks an optimal llama.cpp/ik_llama.cpp backend, and serves an OpenAI-compatible API.
|
| 09/21 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/21 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/21 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/20 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/20 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/20 | 6 |
Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.
|
| 09/12 | 6 |
Auto-tuned launcher that measures multi-GPU hardware for GGUF models, picks an optimal llama.cpp/ik_llama.cpp backend, and serves an OpenAI-compatible API.
|