kfl/quickcheck-c-interface

Stars
3
Rank 3,963,521 (Top 79 %)
Language
C
License
MIT License
Created about 9 years ago
Updated almost 9 years ago

kfl/quickcheck-c-interface

kfl

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

Example code demonstrating how to use QuickCheck for Erlang to test C code

mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

wpp

A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.

webserver-functor

Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

adventofcode_2021

Advent of Code, 2021

adventofcode_2022

Advent of Code 2022

staffeli_nt

Staffeli NT Technology

mosml-js

Javascript backend for Moscow ML

american-options

Emperiments with algorithms for pricing American Options

only_funs

trymosml

verified-monkey-island

ebpf-tools

Experiments with eBPF bytecode

muddy

MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy

smlsqlite

smlsqlite is a binding of SQLite for Moscow ML and MLton

pure-prolog

Simple pure prolog interpreter

quickcheck-erlang

Example code demonstrating how to use QuickCheck for Erlang

fsc-wrap

Get fsc as a commandline program

bigish

Example code working with bigish data in the browser. Using crossfilter and other libraries.

Datalog-experiments

Experimental datalog/prolog implementation

simpleparse

Simple to understand parser combinator library

prog-contest-diku

Scratchpad for people interested in programming contests at DIKU

mini-benchmark-game

adventofcode_2023

Advent of Code 2023

miniprolog

Minimal (Pure) Prolog implementation

gpsblyant

readbits

Example of how to read binary data with Haskell

mmage

Simple image library with functional interface for Moscow ML. Based on SDL2.

cloudhaskell-experiments