Movatterモバイル変換

PinnedLoading

Public

Deeplang is a new language for IoT device programming.

Public

DeepVM is a lite virtual machine of DeepLang

C 3 1

Public

DeepLang type system based on Ocaml

OCaml 7 1

Public

DeepLang plugin

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 UpdatedOct 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 UpdatedAug 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 20 0 0 UpdatedApr 7, 2023
deeplang Public
Deeplang is a new language for IoT device programming.
deeplang-org/deeplang’s past year of commit activity
80BSD-3-Clause 15 12 0 UpdatedFeb 22, 2023
deeplang-plugin Public
DeepLang plugin
deeplang-org/deeplang-plugin’s past year of commit activity
0MIT0 0 0 UpdatedAug 14, 2022
deeplang-org.github.io Public
Deeplang offical website
deeplang-org/deeplang-org.github.io’s past year of commit activity
HTML 10 0 1 UpdatedDec 18, 2021
deeplang-spec Public
DeepLang Specification
deeplang-org/deeplang-spec’s past year of commit activity
TeX 10 0 0 UpdatedMar 21, 2021
deeplang-for-esp32 Public
deeplang run on IoT module esp32
deeplang-org/deeplang-for-esp32’s past year of commit activity
C0BSD-3-Clause0 0 0 UpdatedFeb 6, 2021
dstp-assistant Public
DSTP protocol assistant based on npm serailport
deeplang-org/dstp-assistant’s past year of commit activity
JavaScript00 0 0 UpdatedJan 20, 2021

Navigation Menu