Search Results for "ocaml"

Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes...

Frontman is an open-source AI coding agent that lives inside your running web app. Click any element, describe the change, and Frontman edits the real source files with hot reload. Unlike IDE-only coding tools, Frontman sees the live DOM, component tree, computed CSS, routes, source maps, screenshots, console output, and server logs. That runtime context helps product managers, designers, and frontend teams fix copy, spacing, colors, layout bugs, and internal UI polish without guessing...

Caramel is a functional language for building type-safe, scalable, and maintainable applications. It is built in OCaml and maintained by Abstract Machines. Caramel leverages the OCaml compiler, to provide you with a pragmatic type system and industrial-strength type safety, and the Erlang VM, known for running low-latency, distributed, and fault-tolerant systems used in a wide range of industries. Excellent type inference, so you never need to annotate your code.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.