hermetique Goto Github PK

webtext

html css and javascript sketches

wheatley

haskell++

whileytheoremprover

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.

white-scheme

an implementation of Scheme-to-Whitespace compiler

whois-over-post

whython

Fork of Python with some terrible custom features hacked in

wildflower

Minimalistic, functional, JSON-formatted programming language

wolin

A modern, minimal Kotlin-like language for MOS 6502 / 6510

worm

two-dimensional stack-based esolang

wren

Language with a bytecode compiler that can run on computers with only a few kB of RAM.

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda

wumpus

A two-dimensional, triangular programming language.

x16-basic

Open source unencumbered 65C02 Basic

x86-agda

Inline, type safe X86-64 assembly programming in Agda

x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

x86-to-z80

Jan Wilmans' attempt at a x86-to-z80 re-assembler, idea nicked from lefticus

xace

A Jupiter Ace Emulator

xcpl

BCPL type language for 65C02

xdc

XDC 8088+CGA video/animation compiler

xentica

GPU-accelerated engine for multi-dimensional cellular automata

xera

the Xera programming language (experimental)

xieyuheng-kanren

Backup of old Kanren code

xoisc

a functional OISC based on Fokker's X combinator

xslt-brainfuck

Brainfuck interpreter in xslt.

yamanote-quine

A self-reproducing program that shapes the station names of Yamanote Line

yocto

yocto is a minimalistic ncurses-based text editor. It is smaller than pico and nano.

youarearock

"You are a rock" is a text-based rpg. You play as a rock buried deep beneath the ground.

yup

YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning.

z80-dpwright

A Z80 assembler embedded in Haskell

z80-tjmerritt

Parag Patel's Z80 Emulator