Search Results for "framework-arduinoststm32"

Dream is an easy-to-use, boilerplate-free Web framework, whose entire API fits on this page! It supports TLS, WebSockets, and GraphQL. HTTP/2 support is transparent. A nice log and OCaml runtime configuration. Easy-to-use, secure helpers for round-tripping cookies and forms. Templates that interleave OCaml with already-familiar HTML. A fully composable router. Session management with pluggable back ends; and unified error handling that leaks no English strings from any level of your app. ...

A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor.

Multiple-arch, multiple-platform disassembly engine with advanced features

COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

CamlGI is a web framework build on top of OCamlNet2.