hermetique Goto Github PK

skio

Pure relational SKI combinator calculus interpreter.

skippydos

Fully documented JiffyDOS KERNAL clone for the Vic 20 with a couple nifty features.

sly

A Scheme compiler and virtual machine

smalftt

🍰 (WIP) a small logical framework based on dependent type theory

smm

sorear's Metamath system engine

snake

A minigame for Amstrad in less than 2048 bytes

snake-using-gloss-demo

Basic game of Snake using the `gloss` library

snowflake

An imperative, statically-typed toy language

snowstar

Here lies the code for the Snow* programming language, currently being rewritten.

solver.agda

A collection of simple verified SAT-solvers

sortle-js

A programming language based on insertion sort

sosar

Utility to manipulate Apple SOS and ProDOS disk image files

space-war

sppl

Sum-Product Probabilistic Language

spreadsheetlang

A Psi-inspired and spreadsheet-like esoteric programming language.

stack-trace-art

Turning programming exceptions into art

state

The State design pattern. Implemented in PHP and with style.

stategraph

Evented stategraph data structure―untangle your state!

static6502

steelranger-demo

C64 run-and-gun action adventure game. Source code of the free demo / preview version

stimsym

[toy] A rewriting language similar to the core of Mathematica

stitch

Prolog + SMT

stjck

A stack-based programming language.

subtyping-agda

Some proofs on subtyping

super-methane-brothers

Super Methane Brothers Amiga Game ported to other platforms

surreal-number-tree-picture

Visualization of the surreal number tree.

sushirng

Fish tank random number generator

swillprover

a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog

sword

SWORD: A Whole Program Race Detector for Java

symbolica

Symbolica's open-source symbolic execution engine.