← All repos

motoko

Simple high-level language for writing Internet Computer canisters

GitHub
internet-computermotokomotoko-languageprogramming-language
Browse cluster: WebAssembly Specification and Proposals →
6,275commits
71contributors
18languages

Tech stack & purpose

Motoko is a safe, actor-based programming language for building Internet Computer smart contracts, developed by DFINITY. The compiler (`moc`) is written in OCaml, while the runtime system is implemented in Rust and compiled to WebAssembly. The language supports async constructs for asynchronous messaging, structural typing with generics, and actor classes, drawing inspiration from Java, C#, JavaScript, Swift, and functional languages. Beyond the compiler and runtime, the repository includes comprehensive tests—both deterministic tests based on expected outputs and property-based testing via `qc-motoko`—plus documentation and integration examples for multi-file applications.

Community & reference links

Languages

OCaml
47.3%
Swift
32.2%
Rust
16.0%
Haskell
1.3%
Nix
0.8%
TeX
0.8%
JavaScript
0.4%
Makefile
0.4%
Shell
0.4%
Emacs Lisp
0.2%
Perl
0.1%
Python
0.1%
sed
0.1%
WebAssembly
0.0%
HTML
0.0%
C
0.0%
Standard ML
0.0%
Dune
0.0%

Contributors (top 30 of 71)