hermetique Goto Github PK

pyrewrite

Python term rewriting

python-compiler

A Python compiler targeting JS, implemented in Rust.

pythuhn

A Python interpreter for the huh? programming language.

qbal

A Q-BAL interpreter written in O'Caml

qhasm

Dan Bernstein's qhasm package

qoppa

Metacircular evaluator for a tiny fexpr language

quilt

A programming language

quine

A Quine in C. No tricks, implementation tries to be as clear and simple as possible.

quip

[wip] Proof format and checker for first-order and higher-order theorem provers

quipumaker

an (unoptimized) quipu knot pattern maker processing sketch. Takes an ASCII file and converts to PDF. Each line of the input file is a quipu, each character a pendant. Sub-Pendants not currently supported.

quotient_in_coq

r3

r3 programing language

r3vm

r3 virtual machine, succesor of :r4

r3x

Official repository for the REX virtual machine

r4

:r4 concatenative programming language with ideas from ColorForth.

railworld

Rail World is a railroad train simulation game designed to bring the features of model railroading to the desktop.

rasel

RASEL (Random Access Stack Esoteric Language) reference implementation

raystep

A real-time 3D distance field modeling software

raytracer

Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnostic

recursion-schemata

Generate fake recursion schemes

redmagic

A meta tracing JIT for x86 and interpreters written in C/C++

refine

an experiment in flow sensitive type analysis

refocusing

A formalisation of the refocusing transformation by Danvy et al. in Coq

register-alloc

WIP - A little doodle of a register allocator with an explanation of how it works.

rein

Offline web app to find the owner of a reindeer based on ear cuts/markings

rel

Explorations in relations and the algebra of programming

rel.jl

Experiments for categories and relation algebra in Julia

relatejs

Proof-of-concept relational JavaScript interpreter

relational-interpreter-with-match

Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher

rene

Toy language transpiler for CS6515