Explore Projects

Discover 4 open source projects

Active filters (1):

Search: sml×

Showing 1-4 of 4 projects

A lightweight, header-only, and fast C++14 state machine library for modern C++ development.

1.3K

Stable

C++

CLI Tools

Testing

C++

#state-machine#metaprogramming#design-patterns

A GPS log file viewer and analyzer with support for various file formats, including GPX, TCX, and KML.

1.2K

Active

C++

API Frameworks

Databases

#gps#file-viewer#file-analyzer

A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.

1.1K

Active

Standard ML

Compilers

Formal Verification

#compiler#formal-semantics#formal-verification

MLton is a high-performance, whole-program optimizing compiler for the Standard ML programming language.

1.1K

Active

Standard ML

API Frameworks

CLI Tools

#compiler#functional-programming#mlton

Get weekly updates on trending AI coding tools and projects.