hermetique Goto Github PK

unitynoneclidiangame

Non euclidian game in unity

unlambda-bwo

interpreters for unlambda: python, rpython (compilable by the pypy toolchain); haskell; rust

unlambda-ijp

experiments with unlambda

uuagc

UU Attribute Grammar Compiler

uuagc-examples

Contains some guides and examples related to the Utrecht University Attribute Grammar Compiler (UUAGC)

vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

verified-parser-example

A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.

verified-static-analyzer

A small & simple WIP verified static analyzer

veryhard

A hard procedural game

verynaivedatalog

Naive, bottom-up Datalog semantics in about 200 lines

vic20-dungeonofdance

Explore the dungeon, collect items, and challenge monsters to a winner-take-all dance-off!

vic20-wax

wAx is the finest native assembler/disassembler ever released for the Commodore VIC-20

vicdoom

Doom for the VIC-20

visible-lisp-computer

A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display

visp

Toy vau-calculus language with non-sexpr syntax

visual-math-tools

Catalog of Visual Math Tools

visulan-js

viz-paintings

Paintings visualization.

vmtetris

Tetris in a small virtual machine (11 lines of C)

vole-davidkristola

Vole is an actor language that compiles to the Actor Virtual Machine

vole-pigworker

being a funny little programming language with a funny little abstract machine

vremu6502

6502/65c02 emulator (in C)

vulexia

coloring text based on part of speech (in an attempt to make things easier to read)

wander

wangs-algorithm

Propositional theorem prover using Wang's algorithm

wangsalgorithm

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

warbride-engine

Visual Novel engine for DragonRuby Game Toolkit

wasicaml

Translate OCaml bytecode to WebAssembly

wator-amd

A simple implementation of the Wator predator/prey model, using AMD modules in the CommonJS package format

waveasm

Assembler with programmable instruction sets