OCaPIC: Programming PIC microcontrollers in OCaml

This project allows to run OCaml programs on PIC microcontrollers.

1. The OCaml language:
   • High-level multi-paradigm programming language.
   • Type-safetiness, robustness (strong static type check).
   • Functional paradigm (first-class functions and closures).
   • Imperative paradigm (mutable data, loops).
   • Object-oriented paradigm.
   • Exceptions.
   • Modules and functors.
   • Parametric polymorphism.
   • Automatic memory management.
2. The PIC microcontrollers:
   • PIC = Programmable Integrated Circuit.
   • Low power consumption: a few mW.
   • Low cost: a few dollars.
   • RAM memory: a few kB.
   • Flash memory: a few tens of kB.
   • Clock: a few MHz

1. Write your program in OCaml.
2. Compile the source code with the ocapic command.
3. Test your program with the OCaPIC simulator (optionnal).
4. Assemble the assembler file produced by ocapic (for example, with gpasm).
5. Transfer the resulting hexadecimal code to the PIC.
6. Plug the PIC into a circuit, and run it!

• OCaml Virtual Machine implemented in PIC18 assembler (compactness of binaries + efficiency).
• PICs supported: all of the PIC18 family.
• Porting of a large part of the OCaml runtime and standard library.
• PICs specific libraries: LCD display, EEPROM, high level serial connection facilities, interruption catching, etc.
• Two PIC simulators for OCaml programs to test them before programming the PIC.
• OCaml library to write a component simulator as an OCaPIC simulator plug-in.
• Deadcode elimination (with OCamlClean).
• OCaml bytecode compression.
• Fully tested, actually works with real programs.
• Library documentation: manpages included in the distribution.
• A tutorial is now available.

• Project author and developper: Benoît Vaugon
• Project supervisor: Philippe Wang
• Project meta-supervisor: Emmanuel Chailloux
• Contact : ocapic@algo-prog.info