amal029/Cgals amal029/Cgals

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 11 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amal029/Cgals
github

amal029

Reviews

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

Repository Details

Programming language for safety critical and real-time systems

More Repositories

1

jop

Instrumented Java Optimized processor
Java
28
star
2

st

IEC-61131-3 Structured text parser
OCaml
17
star
3

poly

Poly language
OCaml
3
star
4

ocaml-gxl-light

A Ocaml library for parsing and manipulating GXL files
OCaml
3
star
5

eha

A python implementation of event based Hybrid Automata simulation framework.
Python
3
star
6

satscheme

A SAT solver written in scheme
Scheme
2
star
7

lib-metis

Ocaml bindings to Metis graph partitoning library
C
2
star
8

idris-data-structures

Data structures implemented in Idris
Idris
1
star
9

sched_smt_ilp

Scheduling task graphs -- SMT vs ILP formulation comparisons
OCaml
1
star
10

Stream2MC

Compiling stream graphs to model-checkers, ILP, and heuristic algorithms
Java
1
star
11

agda-tutorial-dybjer

Learning agda properly
Agda
1
star