gpetiot/sexp-parse gpetiot/sexp-parse

  • This repository has been archived on 30/Oct/2023
  • Stars
    star
    2
  • Language
    OCaml
  • License
    MIT License
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gpetiot/sexp-parse
github

gpetiot

Reviews

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

Repository Details

S-expression parsing library (without base dependency)

More Repositories

1

Frama-C-Mutation

Generation of mutant programs
OCaml
21
star
2

Frama-C-StaDy

Static & Dynamic Verification of C programs
OCaml
9
star
3

mirage-shell

Basic shell built on top of Mirage (experimental! do not use!)
OCaml
7
star
4

ocaml-weather

An OCaml library to access current weather data from OpenWeather
OCaml
3
star
5

ocamlformat-preview

OCamlFormat in the browser
JavaScript
3
star
6

Frama-C-Inline

Inlining of ACSL predicates and logic functions
OCaml
3
star
7

ocamlformat-mdx-blocks

OCaml
2
star
8

phd-thesis

Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)
TeX
1
star
9

StaDy

Programs used for benchmarking the StaDy plugin for Frama-C
C
1
star