hermetique Goto Github PK

haste-webgl

WebGL FFI for Haste

hattrick

An assignment-based esolang implementing a version of call/cc.

helma

🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell

herl

Erlang BEAM emulator in Haskell

hex-a-hop-solver

attempts to find optimal solutions of the 100 Hex-a-Hop levels, and it usually succeeds before a time limit!

hgit

Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions of some core problems in https://github.com/facebookexperimental/mononoke

hhprolog

hitchhiker Prolog - an implementation of a novel virtual machine

higher-order-unification

A small implementation of higher-order unification

higherorderhornrefinement

highschoolgeometry

Geometry in Coq for French high school [maintainer=@thery]

hilbert

An intensely interactive, graphical theorem prover based on natural deduction

hires-vic-20

High Resolution Commodore 2.0 BASIC extensions for Vic-20

history-of-lambda-calculus

Survey on materials that touch on the history of Lambda Calculus

hm-defense

A complete rewrite from scratch of the old iOS game "Heavy MACH: Defense"

holbert

A graphical interactive proof assistant designed for education

holpy

Implementation of higher-order logic in Python

hout-prover

A non-interactive proof assistant using the Haskell type system

howardlang

An interpreted lambda calculus with Algebraic and Recursive Types.

hpsg

AVMs, Unification Grammars, and HPSG

hs-abt

Type safe abstract binding trees for Haskell, using Vinyl

hs2lazy

Haskell -> Lazy K translator.

html2json

Convert HTML losslessly into JSON for easier processing

hw

HW: a modern, open-source, typeless, turing-incomplete programming language.

i-robot-project

Emulation of Atari's 1983 coin-op game I, Robot

i2l

Portable I2L interpreter in C

il2gpu

Compile MSIL assemblies to Spir-V

image-dithering-demo

Image dithering library and tool

impossible

Impossible! is an esoteric, stack based, quasi-functional, programming language

in-parens-comma

spelled (,)

infinite-quine

An infinitely long quine