iec-checker

Static analysis of IEC 61131-3 programs

LGPL-3.0 License

Stars
63
Committers
4
View Code on GitHub
Ecosystems: OCaml

Commit Statistics

Past Year

All Time

Total Commits
0
275
Total Committers
0
4
Avg. Commits Per Committer
0.0
68.75
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
9
Merged Pull Requests
0
9
Total Issues
0
13
Time to Close Issues
N/A
about 1 month
Badges
Extracted from project README
License: LGPL v3
Related Projects
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932
intellij-ocaml

This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust....

03 Oct 2021 26
opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations,...

17 Feb 2012 1,241
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
vult

Vult is a transcompiler well suited to write high-performance DSP code

30 Oct 2014 492
gueb

24 Oct 2015 234
ocaml-yaml

OCaml interface to the YAML 1.1 spec

07 Aug 2017 74
alcotest

A lightweight and colourful test framework

12 Dec 2013 450
prolog

An implementation of Prolog written in OCaml

29 Nov 2017 2
vcs

A Versatile OCaml Library for Git Operations

22 Feb 2024 7
ocaml-multicore

Multicore OCaml

24 Apr 2015 763
bap

Binary Analysis Platform

30 Oct 2014 2,052
bisect_ppx

Code coverage for OCaml and ReScript

30 Apr 2015 302
ocaml

The core OCaml system: compilers, runtime system, base libraries

20 Nov 2012 5,195
qcheck

QuickCheck inspired property-based testing for OCaml.

06 Oct 2013 345