deeplang-org repositories

9 repositories

deeplang-org.github.io
Public
Deeplang offical website
programming-language iot memory-safe
programming-language iot memory-safe
HTML
•0•1•0•1•Updated Aug 15, 2026Aug 15, 2026
deeplang-type-system
Public
DeepLang type system based on Ocaml
compiler ocaml lex
compiler ocaml lex yacc tapl bnfc
OCaml
•1•8•11•0•Updated Aug 15, 2026Aug 15, 2026
deepvm
Public
DeepVM is a lite virtual machine of DeepLang
vm wasm lite
vm wasm lite deeplang deepvm
C
•
MIT License
•1•5•1•1•Updated Aug 15, 2026Aug 15, 2026
borrow-checker-demo
Public
proof-of-concept borrow checker impl. of Deeplang
OCaml
•0•3•0•0•Updated Apr 7, 2023Apr 7, 2023
deeplang
Public
Deeplang is a new language for IoT device programming.
programming-language iot vm
programming-language iot vm lite memory-safe
BSD 3-Clause "New" or "Revised" License
•15•83•12•0•Updated Feb 22, 2023Feb 22, 2023
deeplang-plugin
Public
DeepLang plugin
plugin highlighting vscode
plugin highlighting vscode
MIT License
•0•0•0•0•Updated Aug 14, 2022Aug 14, 2022
deeplang-spec
Public
DeepLang Specification
programming-language specification
programming-language specification
TeX
•0•1•0•0•Updated Mar 21, 2021Mar 21, 2021
deeplang-for-esp32
Public
deeplang run on IoT module esp32
C
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Feb 6, 2021Feb 6, 2021
dstp-assistant
Public
DSTP protocol assistant based on npm serailport
JavaScript
•0•0•0•0•Updated Jan 20, 2021Jan 20, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

Deeplang

All

9 repositories

deeplang-org.github.io

deeplang-type-system

deepvm

borrow-checker-demo

deeplang

deeplang-plugin

deeplang-spec

deeplang-for-esp32

dstp-assistant

Repositories list

9 repositories