deeplang-org/deeplang external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

deeplang-org/deeplang

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/deeplang-org/deeplang)

Close

deeplang-org / deeplangView on GitHubMore

• External links
• Readme badge

Deeplang is a new language for IoT device programming.

☆82Feb 22, 2023Updated 3 years ago

Alternatives and similar repositories for deeplang

Users that are interested in deeplang are comparing it to the libraries listed below

• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 3 years ago
• tpchina / tpchina.github.io

  View on GitHub
  ☆20Dec 19, 2025Updated 2 months ago
• myokota / qemu-cortex-m3

  View on GitHub
  Cortex-M3 development tree
  ☆15Jan 4, 2015Updated 11 years ago
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Feb 17, 2026Updated 2 weeks ago
• spring-attic / mqtt

  View on GitHub
  ☆14Jan 20, 2022Updated 4 years ago
• yixuan / almond

  View on GitHub
  ALMOND: Adaptive Latent Modeling and Optimization via Neural Networks and Langevin Diffusion
  ☆13Nov 16, 2019Updated 6 years ago
• secure-software-engineering / Boomerang

  View on GitHub
  Demand-Driven Pointer Analysis
  ☆14Mar 2, 2026Updated last week
• mikroskeem / libexecinfo

  View on GitHub
  libexecinfo for musl libc
  ☆15Apr 16, 2022Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020

  View on GitHub
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Dec 29, 2020Updated 5 years ago
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated last year
• fredfeng / CS190I

  View on GitHub
  Program Synthesis
  ☆15May 17, 2021Updated 4 years ago
• coderodde / IndexedLinkedList

  View on GitHub
  A candidate indexed, linked list data structure for OpenJDK.
  ☆17Dec 7, 2025Updated 3 months ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 6 months ago
• tomgu1991 / IMChecker

  View on GitHub
  An automatic API misuse checker for C programs!
  ☆19Apr 3, 2019Updated 6 years ago
• vczh-libraries / VlppParser2

  View on GitHub
  General-LR Parser Generator (version 2)
  ☆19Updated this week
• robbmcleod / cpufeature

  View on GitHub
  Python module for detection of CPU features
  ☆29Mar 4, 2025Updated last year
• evilbinary / duck-compiler

  View on GitHub
  🦆鸭子编译器
  ☆19Oct 25, 2020Updated 5 years ago
• Beluga-lang / McTT

  View on GitHub
  Building A Correct-By-Construction Proof Checkers For Type Theories
  ☆31Updated this week
• nephio-project / governance

  View on GitHub
  Charter, TSC, and other governance documents.
  ☆15Mar 13, 2024Updated last year
• HoTT / EPIT-2020

  View on GitHub
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆110Jul 29, 2021Updated 4 years ago
• covscript / covscript

  View on GitHub
  Make Programming Easier
  ☆233Feb 9, 2026Updated last month
• liancheng / cpie-cn

  View on GitHub
  Concurrent Programming in Erlang (Part I) 中文版
  ☆32Nov 2, 2013Updated 12 years ago
• euisuny / best-of-popl

  View on GitHub
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Jan 27, 2022Updated 4 years ago
• numgoplus / ng

  View on GitHub
  The fundamental package for scientific computing with GoPlus - NumGo+
  ☆23Apr 1, 2024Updated last year
• courses-at-nju-by-hfwei / compilers-papers-we-love

  View on GitHub
  Papers We Love on Compilers
  ☆35Dec 1, 2024Updated last year
• paulopiriquito / k8s-from-secrets-vault

  View on GitHub
  A composite action that loads and applies hashicorp vault secrets as kubernetes secret and configmap resources
  ☆18Oct 31, 2024Updated last year
• lichuang / libcr

  View on GitHub
  a coroutine lib for C users,in non-intrusive mode.
  ☆54Aug 19, 2017Updated 8 years ago
• HuStmpHrrr / mech-type-theories

  View on GitHub
  Mechanizations of Type Theories
  ☆35Jan 15, 2026Updated last month
• Inria-Prosecco / StarMalloc

  View on GitHub
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆45Jan 24, 2026Updated last month
• flyerwg / bit_move_dorm

  View on GitHub
  2020年北京理工大学强制将毕业生宿舍行李物品寄走事件
  ☆11Jul 7, 2020Updated 5 years ago
• chunyi1994 / kvstore

  View on GitHub
  [c++]使用boost.asio写的简单内存键值对缓存
  ☆11Jul 31, 2017Updated 8 years ago
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆37Mar 31, 2022Updated 3 years ago
• Artisan-Lab / Rust-memory-safety-bugs

  View on GitHub
  ☆37May 15, 2022Updated 3 years ago
• Meinersbur / isl

  View on GitHub
  Integer Set Library (source repository: http://repo.or.cz/w/isl.git)
  ☆75Feb 15, 2026Updated 3 weeks ago
• awesome-kusion / kusion-cookbook

  View on GitHub
  Kusion Cookbook
  ☆38Mar 17, 2023Updated 2 years ago
• jeffbolznv / vk_cooperative_vector_perf

  View on GitHub
  Sample benchmark demonstrating the VK_NV_cooperative_vector extension
  ☆13Dec 22, 2025Updated 2 months ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• fvito / blockly-for-structured-text

  View on GitHub
  Source code of my masters's thesis, Blockly language for programming PLC controllers
  ☆10Jan 27, 2021Updated 5 years ago
• zhaoyutim / DeepSeek-PM

  View on GitHub
  AI Hedge Fund Repo integrate with DeepSeek V3 and R1 hosted on SiliconFlow.
  ☆12Feb 3, 2025Updated last year