Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language