• Stars
    star
    1
  • Language
    C
  • Created over 13 years ago
  • Updated over 13 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A very, very simple example of an MPI program

More Repositories

1

haskell-parser-examples

Examples of a simple parser written in both Parsec and Happy/Alex
Haskell
49
star
2

haskell-game-of-life

Conway's Game of Life in Haskell
Haskell
18
star
3

happy-example

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

monad-supply

Support for computations which consume values from a (possibly infinite) supply.
Haskell
7
star
5

kaleidoscope

Working through the OCaml/LLVM tutorial
OCaml
7
star
6

mandelbrot-erlang

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

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.
Objective-C
5
star
8

language-c-comments

A Haskell library for extracting comments from C code
Haskell
5
star
9

ocaml-monoid

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

ocaml-term

A term library for OCaml
OCaml
4
star
11

semantic-tableaux

Satisfiability using semantic tableaux
Haskell
4
star
12

neural-net-erlang

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

haskell-simple-httpd

Very simple web server written in Haskell
Haskell
4
star
14

omake

Branch of omake 0.9.8.5, patched to build on Mac OS X
OCaml
3
star
15

phantom-types

Phantom types example in OCaml
OCaml
3
star
16

lambdas

Implementations of various versions of the lambda calculus.
Haskell
3
star
17

okasaki

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

kdtree

A simple KD-tree library in C
C
3
star
19

ocaml-lazy

Lazy data structures in OCaml
OCaml
2
star
20

neural-net-openmp

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

ocaml-concurrent

Some useful concurrent primitives for OCaml.
OCaml
2
star
22

java-image-demo

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

category-theory

Natural transformations in Haskell
Haskell
1
star
24

threads-vs-procs

Simple code to compare performance of threads vs processes
C
1
star
25

monad-image

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

haskell-talk

Slides for talk on lazy semantics
Haskell
1
star
27

mathematica

Some random Mathematica notebooks
1
star
28

ocaml-parser-examples

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

maml-cocoa

Multi-agent modeling language
Objective-C
1
star
30

ocaml_game_of_life

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

monad-gensym

A simple monad for symbol generation and scoped variable bindings
Haskell
1
star
32

bibliography

Shell
1
star
33

ocaml-util

My OCaml utilities and libraries.
OCaml
1
star
34

coq-lattice

Working out lattice definitions in Coq
Coq
1
star
35

haskell-ffi-example

Examples using the Haskell 98 Standard FFI
Haskell
1
star
36

arduino-stuff

Various small Arduino projects
Arduino
1
star
37

clever-stuff

Random bits of clever code
Haskell
1
star
38

publications

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

twig

Haskell
1
star
40

hs-mandelbrot

Haskell
1
star
41

coq-abstract-datatypes

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

cocoa-game-of-life

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