8l Goto Github PK

secd-1

SECD Machine Implementation in x86 Assembly

secp256k1

Optimized C library for EC operations on curve secp256k1

sel4-riscv

sel4-riscv Port

senseye

Dynamic Visual Debugging / Reverse Engineering Toolsuite

seq.asm

Minimal implementation of UNIX seq command in x86_64 assembly.

servo

The Servo Browser Engine

sexy

((real 'programs) have.curves)

sfml

Simple and Fast Multimedia Library

shakti

SHAKTI Processor Project

sigi

Linear Programming Language

sild

Sild is a lisp dialect

simple-virtual-machine-c

Same as simple-virtual-machine but in C

simple.vm

Simple virtual machine which inteprets bytecode.

simple_linux

bootstrap-linux glibc version

skalibs

The skarnet.org C system programming library

smallerc

Simple C compiler

snowman

Snowman decompiler

soc

An experimental System-on-Chip with a custom compiler toolchain.

sodium

Sodium - Functional Reactive Programming (FRP) Library for Java, Haskell, C++, C# and Scala

sol

A sunny little virtual machine

solidoak

An IDE for Rust

souper

A superoptimizer for LLVM IR

sparse

spatial-lang

Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"

spin

Spin is a popular open-source software verification tool

spirv-llvm

LLVM framework with SPIR-V support. It's intended to contain LLVM <-> SPIR-V converter and serve as a foundation for LLVM-based front-end compilers targeting SPIR-V.

spirv-tools

subc

SubC is a fast and simple public domain compiler for a clean subset of the C programming language. It can compile itself and passes gcc -Wall -pedantic. Current version: subc-20141207.tgz

supermalloc

A Super Fast Multithreaded malloc() for 64-bit Machines

svopts

A scripts to provide option for runit sv software