An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with spin

A curated list of projects in awesome lists tagged with spin .

https://github.com/spinframework/spin

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

serverless spin webassembly

Last synced: 26 May 2026

https://github.com/fermyon/spin

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

serverless spin webassembly

Last synced: 04 Mar 2025

https://github.com/tmattio/spin

OCaml project generator.

dune esy ocaml reason spin template

Last synced: 27 Oct 2025

https://github.com/juliaapproximation/fasttransforms.jl

:rocket: Julia package for orthogonal polynomial transforms :snowboarder:

chebyshev gaunt harmonics jacobi laguerre legendre nufft padua proriol spherical spin ultraspherical zernike

Last synced: 26 Jan 2026

https://github.com/spinframework/spin-operator

Spin Operator is a Kubernetes operator that empowers platform engineers to deploy Spin applications as custom resources to their Kubernetes clusters

kubernetes spin webassembly

Last synced: 10 Oct 2025

https://github.com/spinkube/spin-operator

Spin Operator is a Kubernetes operator that empowers platform engineers to deploy Spin applications as custom resources to their Kubernetes clusters

kubernetes spin webassembly

Last synced: 18 Jun 2025

https://github.com/fedoradesign/backgrounds

A set of default and supplemental wallpapers for Fedora

design-suite fedora fedora-workstation kde labs spin supplemental-wallpapers wallpaper

Last synced: 22 Jan 2026

https://github.com/Spinners/Spin.Swift

Spin aims to provide a versatile Feedback Loop implementation working with the three main reactive frameworks available in the Swift community (RxSwift, ReactiveSwift and Combine)

feedback-loop reactive-frameworks spin swift

Last synced: 06 Aug 2025

https://github.com/AceLewis/spintax

A Python module for parsing spintax, unlike any other module this works with nested spintax and also allows the user to escape the special characters used in its syntax.

parser spin spinner spinning-syntax spintax

Last synced: 19 Jul 2025

https://github.com/spcl/pspin

PsPIN: A RISC-V in-network accelerator for flexible high-performance low-power packet processing

in-network-compute networking packet-processing pulp spin

Last synced: 23 Jan 2026

https://github.com/yudinikita/godot-spin-button

Horizontal Selector with extended options is an addon for Godot Engine 4.x.

addon button godot godot-addon godot-engine godot-plugin godot4 gui interface selector spin ui

Last synced: 12 Jun 2026

https://github.com/mikaelslevinsky/fasttransforms

:bullettrain_front: Fast orthogonal polynomial transforms :surfer:

chebyshev harmonics jacobi laguerre legendre proriol spherical spin ultraspherical zernike

Last synced: 16 Mar 2025

https://github.com/jenly1314/spincounterview

🎡 一个类似于码表变化的旋转计数器动画控件

android animation bid count counter counterview number progress progressbar spin

Last synced: 17 Jul 2025

https://github.com/thangchung/dapr-labs

Many forms of coffeeshop implemented by C# and Rust run on WebAssembly/WASI (Spin) + Dapr. ⭐️ Star to support our work!

consul consul-connect dapr devcontainer dotnet k3d kubernetes nomad rust spin terraform typescript wasi wasi-sdk webassembly

Last synced: 30 Apr 2025

https://github.com/fermyon/ai-examples

A collection of serverless apps that show how Fermyon's Serverless AI (currently in private beta) works. Reference: https://developer.fermyon.com/spin/serverless-ai-tutorial

ai fermyon llama serverless spin

Last synced: 09 Apr 2025

https://github.com/rgl/terraform-libvirt-talos

example Talos Linux Kubernetes cluster in libvirt QEMU/KVM Virtual Machines using terraform

argo-cd argocd drbd k8s kubernetes kubernetes-persistent-volume kvm libvirt linstor lvm piraeus spin talos terraform wasm webassembly

Last synced: 21 Aug 2025

https://github.com/yomichi/SpinMonteCarlo.jl

Markov chain Monte Carlo solver for lattice spin systems implemented in Julialang

ising-model julialang lattice mcmc monte-carlo physics quantum-physics spin statistical-physics

Last synced: 27 Mar 2025

https://github.com/yomichi/spinmontecarlo.jl

Markov chain Monte Carlo solver for lattice spin systems implemented in Julialang

ising-model julialang lattice mcmc monte-carlo physics quantum-physics spin statistical-physics

Last synced: 10 Apr 2025

https://github.com/adhocore/chin

A Go lang library to show a spinner as user waits for any long running jobs to finish.

adhocore cli golang spin spinner terminal

Last synced: 15 Apr 2025

https://github.com/irfaardy/php-gacha

🎲 Simple Items or coupons Gacha / Lottery plugin with PHP, game backend gacha

anime dice example fate-grand-order fgo fun gacha gacha-simulator game irfa items php plugin roll roulette roulette-wheel simple simulator spin summon

Last synced: 16 Mar 2025

https://github.com/spinframework/spin-plugin-kube

A Spin plugin for interacting with Kubernetes.

kubernetes plugin spin webassembly

Last synced: 17 Jun 2025

https://github.com/fabaff/security-lab

Fedora Security Lab - The Fedora Security Lab (FSL) provides a safe test environment to work on security auditing, forensics, system rescue and teaching security testing methodologies in universities and other organizations. This repository is a copy of the original development.

fedora fedora-security-lab lab osstmm pentesting security spin

Last synced: 20 Aug 2025

https://github.com/aromanro/isingmontecarlo

A program implementing Metropolis Monte Carlo for the 2D square-lattice Ising model and the spin block renormalization

computational-physics ising-model ising-model-2d metropolis-monte-carlo mfc phase-transition physics spin

Last synced: 18 Mar 2025

https://github.com/mbeddr/mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

architecture contract-based-design gsn interface-specification jetbrains-mps mbeddr nusmv prism requirements-specification safety-assurance spin stpa z3

Last synced: 18 Feb 2026

https://github.com/thorstenhans/wasmio-2024-demos

Samples for demonstrating WebAssembly Component Model at Wasm I/O 2024

fermyon-spin nodejs python rust spin webassembly webassembly-component-model

Last synced: 06 Apr 2025

https://github.com/serversideup/spin-template-laravel-basic

The official Laravel Spin template when you run `spin new laravel` from CLI

deployment developer-tool docker docker-compose docker-swarm laravel spin

Last synced: 18 Aug 2025

https://github.com/leptos-rs/start-spin

A starter template for Leptos and Spin

leptos rust spin template

Last synced: 13 Apr 2025

https://github.com/yujinjin/vue-loading-spin

vue-loading-spin是基于VUE实现的插件,同时也支持作为组件来使用。默认加载的图标是一个svg旋转的菊花,它用的是vue的默认插槽,也可以根据实际的业务需要自定义其他图标。

component loading spin svg vue2 webapck3

Last synced: 02 Aug 2025

https://github.com/issp-center-dev/dsqss

DSQSS -- Discrete Space Quantum System Solver

bose-hubbard montecarlo qmc quantum-mechanics spin

Last synced: 17 Jan 2026

https://github.com/spin-fi/near-dex-core-js

@spinfi/core

core dex near spin

Last synced: 12 Jan 2026

https://github.com/rajatjindal/awesome-spin

a curated list of apps built using spin

fermyon spin webassembly

Last synced: 04 Jan 2026

https://github.com/fionn/xy

Markov chain Monte Carlo for topological phase transitions

bkt-transition markov-chain monte-carlo pns spin statistical-physics xy-model

Last synced: 25 Oct 2025

https://github.com/mikkelhegn/kwasm-spin-minikube

Running Spin apps in Minikube using kwasm.sh

spin webassem

Last synced: 01 Aug 2025

https://github.com/cba85/content-spinning

📝 A simple PHP content spinning for SEO

content php seo spin

Last synced: 27 Jul 2025

https://github.com/fermyon/enterprise-architectures-and-patterns

Collection of Enterprise Architectures & Patterns built with Spin and WebAssembly

architectures fermyon-spin patterns spin webassembly

Last synced: 12 Apr 2025

https://github.com/cardoso/spinlet

Spin plugin to run wasm32-wasi (preview2) command components as plugins

plugin runtime spin wasi wasm

Last synced: 10 Apr 2025

https://github.com/slavede/ng-ts-spinner

Angular (typescript) Spinner. Wrapper around spinner: http://spin.js.org/

angular spin spinjs spinner typescript wrapper

Last synced: 14 Apr 2025

https://github.com/gabubuavailable/wii-donut

A spinning donut for your Wii!

demo donut homebrew-app spin wii

Last synced: 23 Aug 2025

https://github.com/thorstenhans/hugo-spin

Template repository for building Hugo sites and serve them with Fermyon Spin

fermyon-cloud fermyon-spin hugo spin

Last synced: 09 Apr 2025

https://github.com/fermyon/aspire.spin

Spin Integration for .NET Aspire

aspire aspire-hosting dotnet-aspire fermyon-spin spin

Last synced: 08 Jan 2026

https://github.com/akamai-developers/serverless-decision-log-mcp-server

A Serverless MCP Server built using wasmcp, Spin and Akamai Functions

akamai-functions spin wasmcp webassembly

Last synced: 05 Jun 2026

https://github.com/lmriccardo/needham-schroeder-verification

Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022

cryptography murphi needham-schroeder nusmv-model-checker spin verification

Last synced: 23 Aug 2025

https://github.com/robertohuertasm/bcnrust-spin

Fermyon Spin demo for a BcnRust meetup talk

cloud spin svelte webassembly

Last synced: 25 Jun 2025

https://github.com/malikmaky/spinning-donut

This repository dives into the creation and the logic of implementing a rotating/spinning torus or doughnut.

3d2d bitmap-graphics csharp donut graphics-programming math mathmatics rotation-matrix spin spinning-don

Last synced: 15 Feb 2026

https://github.com/lachuoi/lachuoi

Group of very microservices with WebAssembly (Wasm) using the Spin framework.

rust spin spinframework wasi wasm

Last synced: 01 Mar 2026

https://github.com/oxide-byte/explore-fermyon

Exploring Fermyon, including a Todo Serverless API with Leptos Frontend

fermyon leptos rust serverless spin wasi wasm

Last synced: 16 May 2026

https://github.com/jcbhmr/hello-world-rust-spin-app

🪀 Starter demo of a Rust-based Fermyon Cloud HTTP applet

app applet example fermyon fermyon-cloud http-server rust spin wasm wasm-example

Last synced: 03 May 2026

https://github.com/itsmestefanjay/camunda-security-example

Example on how to whitelist classes in the spin api to prevent unwanted deserialization into java classes

camunda deserialization java security spin

Last synced: 06 Jul 2025

https://github.com/abess-team/slide

[JASA] Reconstruct Ising Model with Global Optimality via SLIDE

binary-random-vector coupling ising-model pseudo-likelihood sparse-learning spin subset-selection

Last synced: 09 Oct 2025

https://github.com/jaydevsr/spin-systems-monte-carlo

Markov-Chain-Monte-Carlo Methods for Classical Spin Systems

computational-physics ising-model monte-carlo spin xy-model

Last synced: 23 Feb 2026

https://github.com/mikkelhegn/kv-store-ts

Key/Value Store sample for Spin 0.9.0

spin webassembly

Last synced: 14 Oct 2025

https://github.com/rajatjindal/bluesky-id

Find BlueSky Id from BlueSky Handle

bluesky bluesky-app serverless spin webassembly

Last synced: 15 Jul 2025

https://github.com/mikkelhegn/wc-bot-spin-js

A Slack bot to give today's status on matches in the World Cup, written using Spin's JavaScript SDK

slack slackbot spin webassembly

Last synced: 18 Apr 2026

https://github.com/mrdiver/imspin

ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.

ispin model-checker promela spin

Last synced: 20 Mar 2025

https://github.com/danbugs/spin-dapr-poc

This is a simple proof of concept for using Dapr with a Spin application.

dapr spin

Last synced: 25 Apr 2026

https://github.com/dirien/pulumi-aks-wasm-spin

Pulumi program to create an AKS cluster with WASM support and Fermyon Spin

aks fermyon kubernetes pulumi spin wasm

Last synced: 04 May 2026

https://github.com/keisukeyamashita/marco

Marco is a CLI tool for showing Spinnaker application, pipelines and pipeline templates

golang spin spinnaker

Last synced: 31 Mar 2025

https://github.com/dmitriycanishev/fortunewheel

Fortune Wheel in Unity (Simple way to adding into your game)

fortunewheel spin ui unity unity2d

Last synced: 09 May 2026

https://github.com/lucadibello/concurrency-spin-model-checker

SPIN model checker integration to verify the correctness of a sequential and concurrent program

concurrency model-checking promela software-analysis spin

Last synced: 05 Feb 2026

https://github.com/rubyonworld/content_spinning

ContentSpinning is a ruby library made to spin some text. It manages nested spinning.

library made ruby spin

Last synced: 12 Nov 2025

https://github.com/ilovebacteria/satellite-communication-model

A Promela/SPIN model of a satellite communication system developed for a university assignment.

formal-methods formal-verification promela spin

Last synced: 18 Jan 2026

https://github.com/rgl/spin-http-go-example

Example Spin HTTP Application written in Go

go spin wasm webassembly

Last synced: 09 Apr 2026

https://github.com/ligurio/specs

Formal specifications

alloy promela spin tla-plus

Last synced: 18 Jan 2026

https://github.com/rajatjindal/oauth-login-spin

spin component to add "login with oauth" functionality to your app

golang oauth2 spin wasi webassembly

Last synced: 21 Mar 2025

https://github.com/hungryvovka/computerlanguagespin

Which programming language do you want to learn today? Make a spin!

spin

Last synced: 19 Jan 2026

https://github.com/mabanana/mail-sniffer

A cloud application that summarizes emails using AI emails directed to its url, and sends the summary to the user through a telegram bot.

llama2 pkce-oauth spin

Last synced: 27 Apr 2026

https://github.com/avrabe/spin_myt2abrp

inofficial Toyota MyT (Europe) 2 A Better Route planner gateway using Fermyon spin

abrp myt rust spin toyota

Last synced: 13 Apr 2025

https://github.com/roboloop/winner-finder

Instantly detects the winner of a spin wheel by analyzing its stopping point 💪

bezzier computer-vision cv2 gambling spin stream stream-platform twitch winner youtube

Last synced: 28 Apr 2026

https://github.com/wraithkingdev555/simple-spin-wheel

simple spin wheel

spin wheel

Last synced: 23 Jun 2025

https://github.com/mohith6/design-modelling-and-verification

Design Modelling and Verification of Safety Railway Networks of Train signalling systems

critical networktransition promela-model safetysystem signal-processing spin

Last synced: 26 Feb 2026

https://github.com/lamestation/snake

Create your own Snake game!

game lamestation propeller snake spin tutorial

Last synced: 09 Feb 2026

https://github.com/rgl/spin-http-ts-example

Example Spin HTTP Application written in TypeScript

example spin typescript wasm webassembly

Last synced: 29 Apr 2026

https://github.com/dice-group/lsqspintoarff

Feature-based SPARQL query generalization using: LSQ/SPIN, ARFF, Weka decision tree

arff classification java lsq sparql spin weka

Last synced: 01 Aug 2025

https://github.com/rgl/spin-http-rust-example

Example Spin HTTP Application written in Rust

rust spin wasm webassembly

Last synced: 16 Apr 2026

https://github.com/hoddy3190/eight_queens_pml

Find all(= 92) eight queens answers with Spin/Promela.

promela spin

Last synced: 04 Mar 2026

https://github.com/mbeddr/mbeddr.spin

Integrating the SPIN model checker into mbeddr.

jetbrains-mps mbeddr spin

Last synced: 10 Mar 2025

https://github.com/lamestation/ls1

The original LameStation gaming handheld

hardware lamestation propeller spin

Last synced: 04 Oct 2025

https://github.com/blaz-r/quantum_zeno_paradox

C++ code for simulating quantum Zeno paradox with spin in field.

cpp14 quantum quantum-mechanics quantum-zeno-paradox simulation spin

Last synced: 14 May 2025

https://github.com/lamestation/im-alive

Make some blinky lights blink!

alive lamestation led propeller spin tutorial

Last synced: 26 Jan 2026

https://github.com/seungjin/lachuoi

Group of microservices written in WebAssembly (Wasm) using the Spin framework.

rust spin spinframework wasi wasm

Last synced: 10 Apr 2025

https://github.com/giorgiosld/security-by-design

This repo contains the lab exercise about the course of Security by Design supplied in the Master Degree (LM-18) at the University of Camerino

spin uppaal

Last synced: 25 Apr 2025