ghulette Goto Github PK

arduino-stuff

Various small Arduino projects

basic_calculator_rs

Basic Calculator Implementation in Rust

batteries-included

Batteries Included project

beamer-template

A starting point for Beamer presentations.

bibliography

bisim

Playing with bisimulation in Coq

category-theory

Natural transformations in Haskell

cbench-vst

VST verification of programs from the cbench benchmark

clever-stuff

Random bits of clever code

cocoa-game-of-life

Conway's Game of Life, written in Cocoa/Objective-C

coq-abstract-datatypes

Simple examples of how abstract datatypes work in Coq, especially how they can be equipped with "proof obligations" in Gallina.

coq-lattice

Working out lattice definitions in Coq

curve-fitting

Curve fitting demo in Matlab

fnmsu21

func-info

ghulette.github.io

happy-example

A very simple example of how to use Alex and Happy to build a language processor in Haskell.

haskell-ffi-example

Examples using the Haskell 98 Standard FFI

haskell-game-of-life

Conway's Game of Life in Haskell

haskell-parser-examples

Examples of a simple parser written in both Parsec and Happy/Alex

haskell-simple-httpd

Very simple web server written in Haskell

haskell-talk

Slides for talk on lazy semantics

hs-mandelbrot

iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

java-image-demo

Short example that reads, writes, and processes an image using the standard Java imaging APIs

kaleidoscope

Working through the OCaml/LLVM tutorial

kdtree

A simple KD-tree library in C

kickstart-graphic

lambdas

Implementations of various versions of the lambda calculus.

language-c-comments

A Haskell library for extracting comments from C code