This is stars and forks stats for /FStarLang/steel repository. As of 10 May, 2024 this repository has 19 stars and 4 forks.
The Steel separation logic library for F* TODO: write the corresponding Part 8 in https://fstar-lang.org/tutorial Current status This repository is the result of splitting Steel away from the F* code base. It now works with F* and Karamel master branches. This repository contains: Steel and Pulse, and their corresponding examples and tests, from F* master The Karamel extraction tests for Steel, and the Steel part of krmllib (currently binding the pthreads spinlock) (which we now call LibSteel), from...
The Steel separation logic library for F* TODO: write the corresponding Part 8 in https://fstar-lang.org/tutorial Current status This repository is the result of splitting Steel away from the F* code base. It now works with F* and Karamel master branches. This repository contains: Steel and Pulse, and their corresponding examples and tests, from F* master The Karamel extraction tests for Steel, and the Steel part of krmllib (currently binding the pthreads spinlock) (which we now call LibSteel), from...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
0hq/tinyvector | PythonDockerfile | 746 | 0 | 24 | 0 |
Azure-Samples/jp-azureopenai-samples | PythonCSSBicep | 176 | +1 | 55 | +2 |
schnitzeltony/fontawesome-qml | QMLC++CMake | 8 | 0 | 2 | 0 |
ZeraGmbH/vf-declarative-gui | QMLC++Other | 3 | 0 | 2 | 0 |
ZeraGmbH/vf-qmllibs | QMLC++CMake | 0 | 0 | 1 | 0 |
ZeraGmbH/vf-debugger | QMLC++CMake | 0 | 0 | 1 | 0 |
piazzai/cvless | SCSSHTMLCSS | 44 | +2 | 37 | +2 |
fantasylidong/AnneZonemod | SourcePawnC++Squirrel | 8 | 0 | 0 | 0 |
wutong01304/wutong01304.github.io | StylusJavaScriptEJS | 0 | 0 | 0 | 0 |
Hugo-Dz/svelte-rust | SvelteJavaScriptHTML | 68 | 0 | 5 | 0 |