|
Rust |
186 |
An experimental rust-to-{wasm,asmjs} frontend framework. |
Apr 25, 2023 |
|
TypeScript |
80 |
Experimental frontend framework |
Feb 08, 2023 |
|
Scala |
2 |
VerifyThis2020 Challenge in Stainless |
Jun 23, 2022 |
|
Scala |
2 |
Giter8 template for Stainless-enabled projects |
Aug 22, 2021 |
|
Coq |
10 |
System FR: Formalized Foundations for Stainless |
Apr 14, 2023 |
|
TypeScript |
3 |
Experimental Vue-only frontend for vglist. |
May 11, 2022 |
|
Java |
2 |
Rust frontend for LiSA |
Oct 07, 2022 |
|
Rust |
30 |
Taichi Frontend for Rust |
May 13, 2023 |
|
Rust |
8 |
Afterglow is a experimental rust frontend framework built upon dodrio and typed-html. |
May 13, 2022 |
|
Rust |
2 |
Experimental collection traits for Rust |
Aug 12, 2020 |
|
Rust |
2 |
Experimental gui library for rust |
Sep 08, 2023 |
|
C |
3 |
ASPLOS 2022 Tutorial on Stainless |
Mar 05, 2022 |
|
Scala |
15 |
Bolts: Stainless Verified Scala Examples |
Mar 15, 2023 |
|
Python |
11 |
Stainless neural networks in JAX |
Nov 15, 2023 |
|
Vue |
6 |
An always-experimental frontend for PatchyVideo/PatchyVideo. |
Aug 28, 2022 |
|
Python |
4 |
Experimental Python frontend to PCBmodE |
Nov 06, 2019 |
|
Python |
8 |
An experimental Stable Diffusion frontend |
Feb 23, 2023 |
|
QML |
2 |
DevOps Frontend (Experimental, Qt 5) |
Sep 07, 2022 |
|
JavaScript |
79 |
Experimental Web Based OS Frontend |
May 17, 2022 |
|
None |
2 |
Experimental Rust workspace for Project Reunion |
Jun 24, 2021 |
|
Rust |
2 |
Rust library for controling experimental refactors |
May 02, 2022 |
|
Rust |
54 |
An experimental Rust crate for sigstore |
Aug 09, 2022 |
|
Rust |
159 |
Experimental WASI API bindings for Rust |
Aug 11, 2022 |
|
Rust |
8 |
⛑️ Experimental UI Library for Rust |
Sep 21, 2022 |
|
Rust |
43 |
An experimental GUI for rust-minidump |
Apr 06, 2023 |
|
Rust |
27 |
experimental auto-currying for rust functions |
Apr 22, 2023 |
|
Rust |
172 |
Experimental system for rust garbage collection |
Apr 18, 2023 |
|
Rust |
2 |
experimental repository for rust and ffmpeg |
May 30, 2023 |
|
Rust |
252 |
Experimental rust serialization library |
Sep 11, 2022 |
|
Rust |
968 |
Experimental Rust UI library |
Sep 11, 2022 |
|
C++ |
3 |
Experimental MLIR Rust compiler |
Apr 08, 2023 |
|
Rust |
3 |
Experimental GUI on Rust |
Sep 03, 2020 |
|
Scala |
5 |
A 2048 clone verified by Stainless |
May 15, 2021 |
|
TeX |
3 |
MSc Thesis: Systems Modelling with Stainless |
Nov 10, 2021 |
|
Rust |
4 |
A rust cli frontend for chess |
Oct 27, 2021 |
|
Rust |
8 |
:rose: Experimental regular expression engine for Rust |
May 27, 2020 |
|
Rust |
3 |
Experimental Client for E-Hentai using Rust. |
Feb 11, 2023 |
|
Rust |
26 |
Experimental type-safe geometric algebra for Rust |
Jul 23, 2022 |
|
Rust |
18 |
An experimental GUI library for Rust 🦀 |
Apr 24, 2023 |
|
Rust |
48 |
Experimental language-level polyfills for Async Rust |
Mar 14, 2023 |
|
Rust |
5 |
Experimental Rust library for binary merkle trees |
Feb 15, 2020 |
|
Rust |
3 |
Experimental Rust-based worker farm for node |
Apr 04, 2023 |
|
Rust |
7 |
Experimental playground for compression algorithms in Rust |
May 29, 2023 |
|
Scala |
4 |
Actor System library for Stainless which runs on Akka |
Mar 05, 2021 |
|
Rust |
6 |
Experimental rust implementation of clio |
Dec 27, 2021 |
|
Rust |
2 |
Experimental Rust/CosmWasm helper library |
Jan 27, 2023 |
|
Rust |
42 |
Experimental persistent collections in Rust |
Jul 26, 2022 |
|
Rust |
21 |
Experimental JavaScript implementation in Rust |
Sep 06, 2022 |
|
Rust |
3 |
Experimental youtube downloader in rust |
Jul 14, 2021 |
|
Shell |
3 |
Experimental auto-deployer in Rust |
Oct 23, 2022 |