Discover @ghulette Open Source projects

Geoff Hulette (@ghulette)

ghulette

Stars
177
Global Rank 135,485 (Top 5 %)
Followers 45
Following 34
Registered over 16 years ago
Most used languages

Haskell
38.1 %

OCaml
26.2 %

C
7.1 %

Objective-C
7.1 %

Erlang
4.8 %

Coq 4.8 %

Arduino 2.4 %

Java
2.4 %

C++
2.4 %

Shell
2.4 %

Bison 2.4 %
Location 🇺🇸 United States
Country Total Rank 30,814
Country Ranking

Bison 2

OCaml
155

Coq 166

Haskell
223

Erlang
324

Arduino 2,166

Objective-C
3,962

haskell-parser-examples

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

haskell-game-of-life

Conway's Game of Life in Haskell

happy-example

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

monad-supply

Support for computations which consume values from a (possibly infinite) supply.

kaleidoscope

Working through the OCaml/LLVM tutorial

mandelbrot-erlang

Two versions of a Mandelbrot image generator, written in Erlang. One basic, one distributed.

reader-helper

Reader Helper is a simple application that allows Apple's Safari browser to add RSS subscriptions to Google Reader with one click. If you use Safari as your main browser, and want to use Google Reader, you will want to use this program.

language-c-comments

A Haskell library for extracting comments from C code

ocaml-monoid

Replicating Haskell's monoid typeclass as a set of OCaml modules and functors.

ocaml-term

A term library for OCaml

semantic-tableaux

Satisfiability using semantic tableaux

neural-net-erlang

A very slow neural net, written in a distributed way with Erlang

haskell-simple-httpd

Very simple web server written in Haskell

omake

Branch of omake 0.9.8.5, patched to build on Mac OS X

phantom-types

Phantom types example in OCaml

lambdas

Implementations of various versions of the lambda calculus.

okasaki

Data structures and algorithms in OCaml from Chris Okasaki's book "Purely Functional Data Structures"

kdtree

A simple KD-tree library in C

ocaml-lazy

Lazy data structures in OCaml

neural-net-openmp

An implementation of a neural net in C++, along with a test framework to evaluate OpenMP.

ocaml-concurrent

Some useful concurrent primitives for OCaml.

java-image-demo

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

category-theory

Natural transformations in Haskell

threads-vs-procs

Simple code to compare performance of threads vs processes

monad-image

Monad allowing the creation of pixel-based images, with the ability to read and write PPM format.

haskell-talk

Slides for talk on lazy semantics

mathematica

Some random Mathematica notebooks

ocaml-parser-examples

A simple example of an OCaml lexer/parser for predicate logic statements with unicode math symbols

maml-cocoa

Multi-agent modeling language

ocaml_game_of_life

Conway's Game of Life written in OCaml and using SDL via the tsdl binding

monad-gensym

A simple monad for symbol generation and scoped variable bindings

bibliography

ocaml-util

My OCaml utilities and libraries.

coq-lattice

Working out lattice definitions in Coq

haskell-ffi-example

Examples using the Haskell 98 Standard FFI

simple-mpi-example

A very, very simple example of an MPI program

arduino-stuff

Various small Arduino projects

clever-stuff

Random bits of clever code

publications

A BibTeX file containing a current list of my (Geoff Hulette's) publications

twig

hs-mandelbrot

coq-abstract-datatypes

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

cocoa-game-of-life

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