Repositories list

• deeplang-type-system

  Public
  DeepLang type system based on Ocaml

  lexyacctapl+ 3bnfccompilerocaml

  OCaml

  •1•7•11•0•Updated Oct 31, 2024Oct 31, 2024

• deepvm

  Public
  DeepVM is a lite virtual machine of DeepLang

  vmwasmlite+ 2deeplangdeepvm

  C

  •1•3•1•1•Updated Aug 5, 2023Aug 5, 2023

• borrow-checker-demo

  Public
  proof-of-concept borrow checker impl. of Deeplang

  OCaml

  •0•2•0•0•Updated Apr 7, 2023Apr 7, 2023

• deeplang

  Public
  Deeplang is a new language for IoT device programming.

  programming-languageiotvm+ 2litememory-safe

  BSD 3-Clause "New" or "Revised" License

  •15•80•12•0•Updated Feb 22, 2023Feb 22, 2023

• deeplang-plugin

  Public
  DeepLang plugin

  pluginhighlightingvscode

  MIT License

  •0•0•0•0•Updated Aug 14, 2022Aug 14, 2022

• deeplang-org.github.io

  Public
  Deeplang offical website

  programming-languageiotmemory-safe

  HTML

  •0•1•0•1•Updated Dec 18, 2021Dec 18, 2021

• deeplang-spec

  Public
  DeepLang Specification

  programming-languagespecification

  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