Skip to content
@deeplang-org

Deeplang

A new language for IoT device

Pinned Loading

  1. deeplang deeplang Public

    Deeplang is a new language for IoT device programming.

    80 16

  2. deepvm deepvm Public

    DeepVM is a lite virtual machine of DeepLang

    C 3 1

  3. deeplang-type-system deeplang-type-system Public

    DeepLang type system based on Ocaml

    OCaml 7 1

  4. deeplang-plugin deeplang-plugin Public

    DeepLang plugin

Repositories

Showing 9 of 9 repositories
  • deeplang-type-system Public

    DeepLang type system based on Ocaml

    deeplang-org/deeplang-type-system’s past year of commit activity
    OCaml 7 1 11 0 Updated Oct 31, 2024
  • deepvm Public

    DeepVM is a lite virtual machine of DeepLang

    deeplang-org/deepvm’s past year of commit activity
    C 3 1 1 1 Updated Aug 5, 2023
  • borrow-checker-demo Public

    proof-of-concept borrow checker impl. of Deeplang

    deeplang-org/borrow-checker-demo’s past year of commit activity
    OCaml 2 0 0 0 Updated Apr 7, 2023
  • deeplang Public

    Deeplang is a new language for IoT device programming.

    deeplang-org/deeplang’s past year of commit activity
    80 BSD-3-Clause 16 12 0 Updated Feb 22, 2023
  • deeplang-plugin Public

    DeepLang plugin

    deeplang-org/deeplang-plugin’s past year of commit activity
    0 MIT 0 0 0 Updated Aug 14, 2022
  • deeplang-org.github.io Public

    Deeplang offical website

    deeplang-org/deeplang-org.github.io’s past year of commit activity
    HTML 1 0 0 1 Updated Dec 18, 2021
  • deeplang-spec Public

    DeepLang Specification

    deeplang-org/deeplang-spec’s past year of commit activity
    TeX 1 0 0 0 Updated Mar 21, 2021
  • deeplang-for-esp32 Public

    deeplang run on IoT module esp32

    deeplang-org/deeplang-for-esp32’s past year of commit activity
    C 0 BSD-3-Clause 0 0 0 Updated Feb 6, 2021
  • dstp-assistant Public

    DSTP protocol assistant based on npm serailport

    deeplang-org/dstp-assistant’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jan 20, 2021

Top languages

Loading…

Most used topics

Loading…