tubbz-alt Goto Github PK

sources-api

sources-ui

sourcify

Solidity re-compiler that can be used to verify that bytecode corresponds to certain source code

sovietprobes

A long term soviet probe project

sovietrockets

Contains various versions of the Soviet Soyuz and Proton Rockets

sovietspacecraft

Soviet spacecraft mod contains Soyuz spacecraft, Vostok, Voskhod and TKS/VA too!

soybean_image_classifier_with_numpy

Building an image classifier in numpy with Mish-activated CNN Layers

sp-dev-docs

SharePoint Developer Documentation

space-chess

Augmented reality 3D chess with a basic C++ AI using Cython

space-theine

NASA Space Apps Challenge hackathon project

spacebirds

Satellite Tracker

spacedream

SpaceDream is a web application developed for NASA's Space Apps Challenge.

spacewalk-osad2

Experimental Spacewalk/osad replacement

spacewalk-saltstack

stand-alone reactor for Hackweek prototype of Spacewalk-Saltstack integration

spacewalk-testsuite-base

[DEPRECATED] (now inside SUSE Manager tree) Spacewalk & SUSE Manager automated testsuite

spacewire_light

SpaceWire Light

spadille

Verifiable/deterministic fair tickets generation for lotteries, raffles and gambling games. :rhinoceros: :four_leaf_clover: :spades: :game_die:

spag

A compiler to translate regular expressions (regular grammars) and LL1 BNF languages (subset of context free grammars) to generated scanners and/or parsers.

spark-euca

Scripts to setup Apache Mesos, Spark, Hadoop, Storm, Kafka and Hama on Eucalyptus and Amazon AWS. Spark can also be deployed as a standalone cluster

spark-to-c_tetris_demo

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

spark_memory

SPARK code example for SPARK blog post

spark_pdi_demo

Use of SPARK to implement Parameter Data Items

spark_railway_simulation_demo

spark_translator

SPARK 2005 to 2014 translator

sparkformal

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.

sparkfun-eagle-libraries

SparkFun's Public Eagle PCB Footprints

sparkhelper

A few of functions that help with checking that your bot is being used by an approved organization and for verifying the signature of a web hook request.

sparrow

Sparrow.ps1 was created by CISA's Cloud Forensics team to help detect possible compromised accounts and applications in the Azure/m365 environment.

sparrow-wifi

Next-Gen GUI-based WiFi and Bluetooth Analyzer for Linux