zeta1999 Goto Github PK

solidity

The Solidity Contract-Oriented Programming Language

solidity-compiler

Helps to compile solidity files from js

solidity-parser

A solidity language parser in Java

solidity_proofs

Proofs for Solidity's optimization rules

solprolog

solprologv2

A Prolog engine written in Solidity.

solved-by-flexbox

A showcase of problems once hard or impossible to solve with CSS alone, now made trivially easy with Flexbox.

sonums.jl

The Self-Organizing NUMbers. A number format that learns from data.

soot

Soot - A Java optimization framework

sorted_set_nif

Elixir SortedSet backed by a Rust-based NIF

sortedvectors.jl

Lightweight wrapper to declare that a vector is sorted.

soss.jl

Probabilistic programming via source rewriting

sot-core

Hierarchical task solver plug-in for dynamic-graph

sota-on-monocular-3d-pose-and-shape-estimation

State-of-the-art methods on monocular 3D pose estimation / 3D mesh recovery

sotawhat

Returns latest research results by crawling arxiv papers and summarizing abstracts. Helps you stay afloat with so many new papers everyday.

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

soul

The SOUL programming language and API

soundspaces-challenge

souper

A superoptimizer for LLVM IR

sourcegraph

Universal code search and navigation tool (self-hosted)

sourcetrail

Sourcetrail - free and open-source interactive source explorer

southkorea-maps

South Korea administrative divisions in ESRI Shapefile, GeoJSON and TopoJSON formats.

sp500r

Easy loading of SP500 stocks as time series

space-ball

⚡️ A 3D game made in Unity

spacex-iss-docking-sim-autopilot

Fully automated SpaceX ISS Dragon docking simulator system.

spack

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

spade

Semantic Image Synthesis with SPADE

spade-1

"Semantic Image Synthesis with Spatially-Adaptive Normalization" paper implementation

spaghetti

Spaghetti: a dependency analysis tool for Go packages

spago

spaGO is a beautiful and maintainable machine learning library written in Go designed to support relevant neural network architectures in natural language processing tasks