Deeplang is a new language for IoT device programming.
☆83Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆24Aug 23, 2022Updated 3 years ago
- ☆20Dec 19, 2025Updated 7 months ago
- Semantic Type Soundness in Lean 4☆18Jul 3, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Logical Relation for MLTT in Coq☆33Apr 7, 2026Updated 3 months ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Dec 7, 2025Updated 7 months ago
- A blog of Programming Languages Group @Purdue☆12Jun 23, 2026Updated last month
- Building A Correct-By-Construction Proof Checkers For Type Theories☆32Jul 6, 2026Updated 3 weeks ago
- A formalization of the textbook Elements of Set Theory☆60Sep 30, 2021Updated 4 years ago
- Mechanizations of Type Theories☆36Jul 20, 2026Updated last week
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- ☆16Jun 21, 2024Updated 2 years ago
- PLCT实验室 V8 for RISC-V 的主仓库。2020年完成部署。☆24Jul 25, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fuzzer for SMT solvers☆22May 8, 2026Updated 2 months ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- Program Synthesis☆15May 17, 2021Updated 5 years ago
- Minimal (and intuitive to use) coroutine implement in c☆18Jan 9, 2020Updated 6 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆111Jul 29, 2021Updated 5 years ago
- 一个易使用的跨平台 N2N 客户端（Windows、macOS、Linux）☆14Oct 17, 2022Updated 3 years ago
- ☆16Feb 19, 2026Updated 5 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- Best of POPL (BOP) Reading Group Memoirs☆68Jan 27, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- 自分用ビルドスクリプト集☆10Jul 17, 2026Updated last week
- A Visual Programming Framework☆14Jul 23, 2020Updated 6 years ago
- libFirm regression testsuite☆19Apr 29, 2020Updated 6 years ago
- A modern functional programming language with effect system.☆18Apr 21, 2024Updated 2 years ago
- General-LR Parser Generator (version 2)☆27Updated this week
- A project commit to translate problems written by Chinese in HydroOJ to English☆16Sep 9, 2022Updated 3 years ago
- Benchmark repository of polyglot effect handler examples☆37Aug 21, 2025Updated 11 months ago
- C++ support for Apache UIMA☆16May 16, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- being some thoughts about introductory mathematics for computer science☆17May 4, 2026Updated 2 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆42Jul 8, 2026Updated 3 weeks ago
- AlgorithmNote is a knowledge sharing github page, mainly has three parts: algorithm, engineering and basic knowledge.☆13Feb 17, 2015Updated 11 years ago
- A human sketch recognition algorithm based on Eitz et al., "How Do Humans Sketch Objects?"☆17May 4, 2013Updated 13 years ago
- JavaScript and Objective-J compiler☆16Jul 5, 2016Updated 10 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 11 months ago
- ☆11Dec 26, 2025Updated 7 months ago