Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/dfinity/motoko

Simple high-level language for writing Internet Computer canisters
https://github.com/dfinity/motoko

internet-computer motoko motoko-language programming-language

Last synced: 3 days ago
JSON representation

Simple high-level language for writing Internet Computer canisters

Host: GitHub
URL: https://github.com/dfinity/motoko
Owner: dfinity
License: apache-2.0
Created: 2018-05-11T11:12:10.000Z (over 6 years ago)
Default Branch: master
Last Pushed: 2024-05-23T08:56:20.000Z (6 months ago)
Last Synced: 2024-05-23T09:40:39.734Z (6 months ago)
Topics: internet-computer, motoko, motoko-language, programming-language
Language: OCaml
Homepage:
Size: 37.4 MB
Stars: 486
Watchers: 43
Forks: 98
Open Issues: 454
Metadata Files:
- Readme: README.md
- Changelog: Changelog.md
- Contributing: .github/CONTRIBUTING.md
- License: LICENSE
- Code of conduct: .github/CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

awesome-internet-computer - Motoko GitHub Repository - The home of the Motoko language. (Motoko / Monitoring)
best-of-crypto - GitHub - 39% open · ⏱️ 27.05.2024): (Metaverse, NFTs & Gaming)

README

        # [Motoko](https://internetcomputer.org/docs/current/motoko/main/about-this-guide) · [![GitHub license](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](https://opensource.org/licenses/Apache-2.0) [![Tests](https://img.shields.io/github/actions/workflow/status/dfinity/motoko/release.yml?branch=master&logo=github)](https://github.com/dfinity/motoko/actions?query=workflow:"release") [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](https://github.com/dfinity/motoko/blob/master/Building.md)

A safe, simple, actor-based programming language for authoring [Internet Computer](https://internetcomputer.org/) (IC) canister smart contracts.

![Motoko Logo](https://github.com/user-attachments/assets/844ca364-4d71-42b3-aaec-4a6c3509ee2e)

## User Documentation & Samples

* [Building, installing, and developing on Motoko](Building.md).

* [Overview](doc/md/getting-started/motoko-introduction.md).

* [Small samples](samples).

* [Language manual](doc/md/reference/language-manual.md).

* [Concrete syntax](doc/md/examples/grammar.txt).

* [Documentation sources](doc/md/).

* [Base library documentation](doc/md/base/index.md).

* [_Motoko-san_: a prototypical deductive verifier](src/viper/README.md).

## Introduction

### Motivation and Goals

* High-level language for programming IC applications

* Simple ("K.I.S.S.") design and familiar syntax for average programmers

* Good and convenient support for actor model

* Good fit for underlying Wasm and IC execution model

* Anticipate future extensions to Wasm where possible

### Key Design Points

* Simple class-based OO language, objects as closures

* Classes can be actors

* Async construct for direct-style programming of asynchronous messaging

* Structurally typed with simple generics and subtyping

* Overflow-checked number types, explicit conversions

* JavaScript/TypeScript-style syntax but without the JavaScript madness

* Inspirations from Java, C#, JavaScript, Swift, Pony, ML, Haskell

## Related repositories

* [Base library](https://github.com/dfinity/motoko-base)

* [Vessel package manager](https://github.com/dfinity/vessel)

* [Example projects](https://github.com/dfinity/examples/tree/master/motoko)

* [Motoko Playground](https://github.com/dfinity/motoko-playground) · ([online IDE](https://m7sm4-2iaaa-aaaab-qabra-cai.ic0.app))

* [Embed Motoko code snippets](https://github.com/dfinity/embed-motoko) · ([online interpreter](https://embed.smartcontracts.org/))

* [VS Code extension](https://github.com/dfinity/vscode-motoko) · ([install](https://marketplace.visualstudio.com/items?itemName=dfinity-foundation.vscode-motoko))

* [Browser and Node.js bindings](https://github.com/dfinity/node-motoko) · ([npm package](https://www.npmjs.com/package/motoko))

## Community resources

* [Awesome Motoko](https://github.com/motoko-unofficial/awesome-motoko#readme)

* [Blocks - an online low-code editor for Motoko](https://github.com/Blocks-Editor/blocks)

* [MOPS - a Motoko package manager hosted on the IC](https://j4mwm-bqaaa-aaaam-qajbq-cai.ic0.app/)

* [Motoko Bootcamp](https://github.com/motoko-bootcamp/bootcamp#readme) · ([YouTube channel](https://www.youtube.com/channel/UCa7_xHjvOESf9v281VU4qVw))

* [Motoko library starter template](https://github.com/ByronBecker/motoko-library-template)

## Contribution

See our [CONTRIBUTING](.github/CONTRIBUTING.md) and [CODE OF CONDUCT](.github/CODE_OF_CONDUCT.md) to get started.