hermetique Goto Github PK

fpgasm

A low-level hierarchical netlist assembler for FPGAs

fractalbiomegeneration

Biome generation based on fractals; inspired by minecraft's biome generation

free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad

free386

This is compatible to 386|DOS-Extender (Phar Lap RUN386.EXE) by fully assembly language

fstartoystaticanalyser

funciton

Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter and compiler.

functasy

An esoteric Turing complete programming language

functional-algebra

This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.

funge-archive

An archive of various Funge-related material, focusing on (Be)funge-98.

fungewars

Corewars in Funge

fungicide

A benchmark suite for Befunge–98 interpreters.

fungify

Turns integers into Funge-98 code to push that integer.

fungot

fungot, a Funge-98 bot

funvm

A Functional intermediate language

futball

You are trapped on an infinite tile floor along with murderous marbles

futhark-with-fangs

The web framework nobody asked for, wants, or needs.

game-dangerous

A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation system.

generate-c

Embedded C code generation DSL for Haskell.

gerku

An interpreter for concatenative combinators (i.e. Combinators as a functional language)

ghilbert

Automatically exported from code.google.com/p/ghilbert

girards-paradox

A "implementation" of Girard's paradox in OCaml

gluetn

Normalization for Gödel's system T using a glueing model construction

goe

my tools to search for Gardens of Eden in Conway's Game of Life

golog

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

goof

A toy functional language created through the abuse of C

gospl

The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.

gpmclr

GPM/CLR is an implementation of the historical Gardens-Point Modula-2 compiler for the .NET runtime. It provides an example of how a non-typesafe, unmanaged data compiler may be implemented on the CLR.

graph-kayles

A mathematical game for two players

gridrunner

Gridrunner (1982) by Jeff Minter

grom8

GROM-8 CPU