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
Sorting:
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- ☆20Dec 19, 2025Updated 2 months ago
- Cortex-M3 development tree☆15Jan 4, 2015Updated 11 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- ☆14Jan 20, 2022Updated 4 years ago
- ALMOND: Adaptive Latent Modeling and Optimization via Neural Networks and Langevin Diffusion☆13Nov 16, 2019Updated 6 years ago
- Demand-Driven Pointer Analysis☆14Mar 2, 2026Updated last week
- libexecinfo for musl libc☆15Apr 16, 2022Updated 3 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 3 months ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 6 years ago
- General-LR Parser Generator (version 2)☆19Updated this week
- Python module for detection of CPU features☆29Mar 4, 2025Updated last year
- 🦆鸭子编译器☆19Oct 25, 2020Updated 5 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Updated this week
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Jul 29, 2021Updated 4 years ago
- Make Programming Easier☆233Feb 9, 2026Updated last month
- Concurrent Programming in Erlang (Part I) 中文版☆32Nov 2, 2013Updated 12 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- The fundamental package for scientific computing with GoPlus - NumGo+☆23Apr 1, 2024Updated last year
- Papers We Love on Compilers☆35Dec 1, 2024Updated last year
- A composite action that loads and applies hashicorp vault secrets as kubernetes secret and configmap resources☆18Oct 31, 2024Updated last year
- a coroutine lib for C users,in non-intrusive mode.☆54Aug 19, 2017Updated 8 years ago
- Mechanizations of Type Theories☆35Jan 15, 2026Updated last month
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- 2020年北京理工大学强制将毕业生宿舍行李物品寄走事件☆11Jul 7, 2020Updated 5 years ago
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- ☆37May 15, 2022Updated 3 years ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆75Feb 15, 2026Updated 3 weeks ago
- Kusion Cookbook☆38Mar 17, 2023Updated 2 years ago
- Sample benchmark demonstrating the VK_NV_cooperative_vector extension☆13Dec 22, 2025Updated 2 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Source code of my masters's thesis, Blockly language for programming PLC controllers☆10Jan 27, 2021Updated 5 years ago
- AI Hedge Fund Repo integrate with DeepSeek V3 and R1 hosted on SiliconFlow.☆12Feb 3, 2025Updated last year