jmid/xyz-exp-ast jmid/xyz-exp-ast

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    OCaml
  • License
    The Unlicense
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jmid/xyz-exp-ast
github

jmid

Reviews

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

Repository Details

A simple example of using ocamllex and menhir to build an abstract syntax tree

More Repositories

1

qcstm

A simple state-machine framework for OCaml based on QCheck
OCaml
63
star
2

mutaml

An OCaml mutation tester
OCaml
61
star
3

pbt-frameworks

An overview of property-based testing functionality
51
star
4

efftester

Effect-Driven Compiler Tester for OCaml
OCaml
38
star
5

wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs
OCaml
20
star
6

mirage-hole

OCaml
14
star
7

qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)
OCaml
12
star
8

regexpanalyser

Lattice valued regular expressions and an example analysis
OCaml
10
star
9

luata-quickcheck

Lua type analysis and corresponding QuickCheck code
HTML
6
star
10

lcheck

A library for quickchecking lattice modules and associated operations
OCaml
5
star
11

sm2-tes21

'Functional Programming and Property-Based Testing' at SDU, Spring 2021
OCaml
5
star
12

camljoos0

A simple compiler for a small subset of Java 1.3
OCaml
3
star
13

qcheck-fun

Fun examples for exercising QCheck's function generator
OCaml
2
star
14

3CounterMach

An implementation of Plotkin's 3 Counter Machine
OCaml
2
star
15

nano-go

A static analysis of the network communication of programs in a synchronous subset of Go
OCaml
1
star
16

sm2-tes19

'Functional Programming and Property-Based Testing' at SDU, Spring 2019
OCaml
1
star
17

xyz-exp

A simple example of ocamllex and menhir
OCaml
1
star