longjohncoder Goto Github PK

sold

The sold linker

solid

A declarative, efficient, and flexible JavaScript library for building user interfaces.

solvespace

Unofficial SolveSpace fork with improvements

somatic

Open-hardware data glove

somns

SOMns: A Newspeak for Concurrency Research

sophia

Hybrid Embeddable Transactional Key-Value Storage.

sorbet

A fast, powerful type checker designed for Ruby

sorted_set_nif

Elixir SortedSet backed by a Rust-based NIF

sosumi-snap

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.

souper

A superoptimizer for LLVM IR

source-map

Generate and consume source maps.

sourcedocumentation

sourcegraph

Code search and navigation tool (self-hosted)

sourcetrail

Sourcetrail - free and open-source cross-platform source explorer

sourceweb

C/C++ source code indexer and navigator

sovereign

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

space-nerds-in-space

gtk/linux opengl open source multi-player networked spaceship bridge simulator. See http://smcameron.github.io/space-nerds-in-space

spacy

💫 Industrial-strength Natural Language Processing (NLP) in Python

spark2014

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

sparkler

A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux's KVM API. It is written in C and emulates a serial console and some other devices that fetch a tweet from an account, etc.

sparseml

Libraries and state-of-the-art automatic sparsification algorithms to simplify and accelerate performance

sparta

SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

spartanengine

Game engine with an emphasis on architectual quality and performance

spearmint

Testing, simplified. || An inclusive, accessibility-first GUI for generating clean, semantic Javascript tests in only a few clicks of (or keystrokes) of a button.

specs

Driver specifications

spectre

A Windows kernel-mode rootkit that abuses legitimate communication channels to control a machine.

specucheck

SpecuCheck is a Windows utility for checking the state of the software mitigations against CVE-2017-5754 (Meltdown) and hardware mitigations against CVE-2017-5715 (Spectre)

speedscope

🔬 A fast, interactive web-based viewer for performance profiles.

spiderfoot

SpiderFoot, the open source footprinting and intelligence-gathering tool.