spinframework/spin

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

Language: Rust - Size: 30.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5,841 - Forks: 270

tmattio/spin

OCaml project generator.

Language: OCaml - Size: 1.23 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 296 - Forks: 15

JuliaApproximation/FastTransforms.jl

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

Language: Julia - Size: 5.01 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 269 - Forks: 27

spinframework/spin-operator

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

Language: Go - Size: 1.5 MB - Last synced at: 19 days ago - Pushed at: 26 days ago - Stars: 251 - Forks: 25

doudar/SmartSpin2k

Transform your spin bike into a Smart Trainer!

Language: C++ - Size: 1.1 GB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 218 - Forks: 42

fedoradesign/backgrounds

A set of default and supplemental wallpapers for Fedora

Language: Ruby - Size: 2.31 GB - Last synced at: about 4 hours ago - Pushed at: about 2 months ago - Stars: 174 - Forks: 21

Ulm-IQO/qudi

(Legacy project) A modular laboratory experiment management suite, predecessor to qudi-core.

Language: Python - Size: 181 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 167 - Forks: 140

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)

Language: Swift - Size: 5.31 MB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 124 - Forks: 9

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.

Language: Python - Size: 21.5 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 107 - Forks: 25

spcl/pspin

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

Language: SystemVerilog - Size: 9.1 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 101 - Forks: 17

yudinikita/godot-spin-button

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

Language: GDScript - Size: 1020 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 87 - Forks: 6

mailhexu/TB2J

a python package for computing magnetic interaction parameters

Language: Python - Size: 3.08 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 79 - Forks: 33

MikaelSlevinsky/FastTransforms

:bullettrain_front: Fast orthogonal polynomial transforms :surfer:

Language: C - Size: 1.3 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 61 - Forks: 10

fermyon/enterprise-architectures-and-patterns

Collection of Enterprise Architectures & Patterns built with Spin and WebAssembly

Language: Rust - Size: 842 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 58 - Forks: 13

its2easy/animate-images

Javascript plugin that animates a sequence of images to use in complex animations or pseudo 3d product view

Language: JavaScript - Size: 351 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 7

rgl/terraform-libvirt-talos

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

Language: HCL - Size: 413 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 52 - Forks: 14

jenly1314/SpinCounterView

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

Language: Java - Size: 2.81 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 51 - Forks: 12

thangchung/dapr-labs

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

Language: C# - Size: 13.2 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 51 - Forks: 4

yomichi/SpinMonteCarlo.jl

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

Language: Julia - Size: 972 KB - Last synced at: 21 days ago - Pushed at: 6 months ago - Stars: 50 - Forks: 9

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

Language: Rust - Size: 2.69 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 49 - Forks: 17

adhocore/chin

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

Language: Go - Size: 59.6 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 37 - Forks: 1

irfaardy/php-gacha

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

Language: PHP - Size: 134 KB - Last synced at: 11 days ago - Pushed at: about 3 years ago - Stars: 36 - Forks: 15

spinframework/spin-plugin-kube

A Spin plugin for interacting with Kubernetes.

Language: Go - Size: 222 KB - Last synced at: 2 days ago - Pushed at: 26 days ago - Stars: 35 - Forks: 9

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.

Language: JavaScript - Size: 13.9 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 35 - Forks: 7

iiithf/concurrent-data-structures

A Concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer.

Size: 57.6 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 31 - Forks: 5

aromanro/IsingMonteCarlo

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

Language: C++ - Size: 210 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 10

ranshiju/T-Nalg

Tensor Netwok Algorithms for EVERYONE

Language: Python - Size: 452 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 30 - Forks: 9

michaelkolesidis/cherry-charm

An online 3D slot machine game.

Language: TypeScript - Size: 2.23 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 27 - Forks: 14

mbeddr/mbeddr.formal

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

Language: JetBrains MPS - Size: 178 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 27 - Forks: 15

ThorstenHans/wasmio-2024-demos

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

Language: Rust - Size: 2.69 MB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 18 - Forks: 5

leptos-rs/start-spin

A starter template for Leptos and Spin

Language: Rust - Size: 68.4 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 0

XaBerr/quantum-monte-carlo-methods

Quantum Monte Carlo methods for Ising model

Language: C++ - Size: 180 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 17 - Forks: 4

nitronoid/flo

Implementation of Conformal curvature flow using spin transformations, to achieve a spherical embedding

Language: Cuda - Size: 5.75 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 1

yujinjin/vue-loading-spin

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

Language: Vue - Size: 155 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 2

serversideup/spin-template-laravel-basic

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

Language: Shell - Size: 141 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 13 - Forks: 7

hema-ted/pyzfs

A python package to compute zero-field-splitting tensors for molecules and spin quantum bits in semiconductors.

Language: Python - Size: 1.1 MB - Last synced at: 7 days ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 12

its2easy/animate-sprite

Javascript plugin to animate frames from sprite image

Language: JavaScript - Size: 1.67 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0

maxvonhippel/AttackerSynthesis

🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis

Language: Python - Size: 1.65 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 12 - Forks: 1

aghaeifar/SpinWalk

SpinWalk, a framework for Monte-Carlo simulation to model spins random walk within a microvascular network. SpinWalk can be also employed to simulate diffusion in a microstructure substrates.

Language: C++ - Size: 4.2 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 11 - Forks: 5

issp-center-dev/dsqss

DSQSS -- Discrete Space Quantum System Solver

Language: C++ - Size: 23.8 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 3

fermyon/Aspire.Spin

Spin Integration for .NET Aspire

Language: C# - Size: 105 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 11 - Forks: 1

rymrg/rocker

Rocker: Robustness Checker

Language: D - Size: 142 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 1

ROBO-BEV/BARISTO

A solar powered fully autonomous coffee machine, smartphone app, smart cup, and drone delivery system.

Language: HTML - Size: 16.4 MB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 1

namasikanam/raft-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 1

walid-mk/VQE

I Used the Variational Quantum Eigensolver (VQE) to find the ground state of a 4by4 matrix hamiltonian which we will use two qubits for it. The VQE algorithm is run in a noisy and noiseless simulator. The code implementation is written with the Qiskit language.

Language: Jupyter Notebook - Size: 2.13 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 4

extrawest/spin-the-wheel-game

Spin The Wheel Game

Language: Dart - Size: 8.55 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1

rajatjindal/awesome-spin

a curated list of apps built using spin

Size: 9.77 KB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

spin-fi/near-dex-core-js

@spinfi/core

Language: TypeScript - Size: 863 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1

p-wojt/roulette-wheel

Roulette wheel for undecided people

Language: TypeScript - Size: 3.54 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 5

Augusto-de-Lelis-Araujo/VASProcar-Python-tools-for-DFT-calculations

Python 3 code for extracting information and results from the following VASP output files (CONTCAR, KPOINTS, OUTCAR, PROCAR, DOSCAR, LOCPOT, PARCHG and vasprun.xml) or QE output files (scf.in, scf.out, nscf.in, nscf.out, bands.in, bands.out, projwfc.in, projwfc.out, "filband", "filproj".projwfc_up and "filpdos".pdos_atm#_wfc).

Language: Python - Size: 267 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 3

fionn/xy

Markov chain Monte Carlo for topological phase transitions

Language: C++ - Size: 11.7 KB - Last synced at: 2 days ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1

vinhnotes/VTCircle-Swift

The lucky spin with demand rewards

Language: Swift - Size: 4.03 MB - Last synced at: 27 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

MajinWamu/CMCRandomizer

Capsule Monster Coliseum Randomizer

Size: 368 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 0

vanvuongngo/qwik-wasm

Run Qwik SSG webapps in WASM with Fermyon Spin (fast, scaleable and low container footprint)

Language: TypeScript - Size: 1.7 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 0

andrewjka/RouletteGame

Standard roulette game of chance.

Language: C# - Size: 324 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

mikkelhegn/kwasm-spin-minikube

Running Spin apps in Minikube using kwasm.sh

Language: C# - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

arfeo/SpinDoctor

🎲 Swing, flip, and bounce your wand from dot to dot in SpinDoctor, the arcade-style game of skill

Language: TypeScript - Size: 1.48 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

cba85/content-spinning

📝 A simple PHP content spinning for SEO

Language: PHP - Size: 6.84 KB - Last synced at: 17 days ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 1

ironsheep/PNut-TS

Reimplementation of "PNut for Windows" in typescript

Language: HTML - Size: 17.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 2

avsa242/spin-standard-library Fork of parallaxinc/spin-standard-library

A curated collection of essential Spin objects

Language: Propeller Spin - Size: 4.71 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

davidmalawey/openSpin

a bearing for everything

Size: 923 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

avsa242/bbq20kbd-spin

Parallax P8X32A/Propeller 1, P2X8C4M64P/Propeller 2 driver object for the BB Q20 keyboard (I2C)

Language: Propeller Spin - Size: 64.5 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

Sora-yx/SA2-Better-Miles

Improve SA2 Tails physics and gameplay to make them similar to SA1.

Language: C++ - Size: 3.19 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

uiwebkit/icons

Uni Icons Kit

Language: TypeScript - Size: 6.79 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

ThorstenHans/hugo-spin

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

Language: Makefile - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

cardoso/spinlet

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

Language: Rust - Size: 27.5 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

GabubuAvailable/Wii-Donut

A spinning donut for your Wii!

Language: Makefile - Size: 61.5 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 3

mieskolainen/graniitti

Monte Carlo Event Generator for High Energy Diffraction [arXiv:1910.06300] [arXiv:2304.06010]

Language: C++ - Size: 165 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 2

slavede/ng-ts-spinner

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

Language: TypeScript - Size: 2.23 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

spin-fi/near-dex-node-js

@spinfi/node

Language: TypeScript - Size: 31.3 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

k5-mot/The-Dining-Philosophers-Problem

📌 The Dining Philosophers Problem / 食事する哲学者の問題

Language: TeX - Size: 13.9 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

tzanis-anevlavis/evrostos

Evrostos: The rLTL Verifier

Language: C - Size: 10.8 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

noctambulo-12/Chiwchi.Console

Inspirado en el objeto console de los navegadores se ha creado esta libreria para ayudarnos a mostrar información útil en los proyectos de consola.

Language: C# - Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

zpekic/am9511

Spin object to drive Am9511 vintage floating point co-processor, plus test / demo / sample object

Language: Propeller Spin - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

gurrenm3/Spin-The-Wheel

C# Windows Form app. Spin the wheel, win a prize!

Language: C# - Size: 1.89 MB - Last synced at: 10 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 5

vaibhavbhagee/Distributed-Computing

Distributed computing course projects

Language: TeX - Size: 3.85 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

FlorianASchroeder/TDVP

Tree-Tensor-Network State for Bosons

Language: Matlab - Size: 953 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

dpizetta/mrsprint

MR SPRINT - Magnetic resonance experiment simulator and visualization tool.

Last synced at: 3 months ago - Stars: 3 - Forks: 1

ironsheep/P2-vscode-langserv-extension

Spin/Spin2 Language Server based vscode extension

Language: TypeScript - Size: 25.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 0

infothrill/ansible-role-hd_idle

ansible role for hd-idle

Language: Python - Size: 102 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0

lachuoi/lachuoi

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

Language: Just - Size: 54.7 MB - Last synced at: 15 days ago - Pushed at: 25 days ago - Stars: 2 - Forks: 0

APinarSole/Heisenberg-spin-hamiltonian

This script obtains the energies and eigenvalues in a 2 or 3 -spin system from a Heisenberg model, offering the combined base that diagonalizes the Hamiltonian to visualize the components of each spin state as a function of the echange coupling J, a magnetic field and magnetic anisotropy in/out of plane. It can handle any spin values.

Language: Python - Size: 275 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

malikmaky/spinning-donut

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

Language: C# - Size: 416 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

nlintas/Verified-Safety-Railway-Promela-Spin-Model

TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.

Language: HTML - Size: 749 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2

robertohuertasm/bcnrust-spin

Fermyon Spin demo for a BcnRust meetup talk

Language: Svelte - Size: 344 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

guiseek/svg-3d-cube

SVG 3D Cube

Language: TypeScript - Size: 30.3 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ocrebb776/8-letter-olidle

8 leter version of olidle

Language: JavaScript - Size: 1.22 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

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

Language: MATLAB - Size: 285 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

yetkinakyuz/SpinCoater

Design and Fabrication of a Cost-Effective Spin Coater

Language: Python - Size: 7.18 MB - Last synced at: 6 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

davidcortesortuno/paper-2018-chiral_magnonic_crystals

Language: Jupyter Notebook - Size: 276 KB - Last synced at: 2 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 2

matan-bebop/spin

Interactive Bloch sphere with SVG and JS

Language: M4 - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

itu-square/p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

Language: Haskell - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 2

kekeniker/marco

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

Language: Go - Size: 105 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 2

bandirevanth/3D-Spinner

A wonderful animation of a 3D Spinner.

Language: CSS - Size: 681 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

avsa242/nrf24l01-spin

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the Nordic Semi. nRF24L01+ transceiver chip

Language: Propeller Spin - Size: 268 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 0

digitalfemsa/customer-magento-plugin

Spin payment plugin for magento 2

Language: PHP - Size: 355 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

avsa242/smartled-spin

P8X32A/Propeller driver object for Neopixel addressable LED arrays

Language: Propeller Spin - Size: 146 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

oxide-byte/explore-fermyon

Exploring Fermyon, including a Todo Serverless API with Leptos Frontend

Language: Rust - Size: 437 KB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

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.

Language: C++ - Size: 7.67 MB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

avsa242/tmf8828-spin

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the ams/OSRAM TMF8828 ToF imager

Language: Propeller Spin - Size: 122 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0