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. 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
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- Fast, type-safe, object-oriented language by yours truly☆47Apr 7, 2026Updated 2 months ago
- Logical Relation for MLTT in Coq☆33Apr 7, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A blog of Programming Languages Group @Purdue☆12Jun 23, 2026Updated last week
- ☆39Oct 23, 2021Updated 4 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- A formalization of the textbook Elements of Set Theory☆60Sep 30, 2021Updated 4 years ago
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- ☆12Aug 10, 2018Updated 7 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- ☆14Jan 20, 2022Updated 4 years ago
- PLCT实验室 V8 for RISC-V 的主仓库。2020年完成部署。☆24Jul 25, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- A fuzzer for SMT solvers☆21May 8, 2026Updated last month
- Program Synthesis☆15May 17, 2021Updated 5 years ago
- A cli tool helping memorizing 3000 core GRE vocabulary words☆11Jan 19, 2024Updated 2 years ago
- ☆16Jun 21, 2024Updated 2 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆111Jul 29, 2021Updated 4 years ago
- the original reference implementation of a specified llama.cpp backend for Qualcomm Hexagon NPU on Android phone, history of ggml-hexagon…☆45Updated this week
- ☆31Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 圣马家沟职业技术学院计算机本科课程火炬传承☆10Aug 22, 2021Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆68Jan 27, 2022Updated 4 years ago
- The LLVM tutorial using OCaml☆62Apr 9, 2020Updated 6 years ago
- 自分用ビルドスクリプト集☆10Mar 31, 2026Updated 3 months ago
- C++ development done differently, the Java way with introspection, RMI, GC (Garbage Collection) and much more☆13Aug 7, 2015Updated 10 years ago
- General-LR Parser Generator (version 2)☆26Updated this week
- A curated list of awesome tools for bilibili.com☆12Jan 24, 2021Updated 5 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- A toolkit for developers to simplify the transformation of nn.Module instances. It's now corresponding to Pytorch.fx.☆13Apr 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- being some thoughts about introductory mathematics for computer science☆17May 4, 2026Updated 2 months ago
- This repository is the summary of all of our works for the XLA.☆11Jan 14, 2018Updated 8 years ago
- A modern functional programming language with effect system.☆18Apr 21, 2024Updated 2 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 10 months ago
- Unified Sparse Library Wrapper Based on cuSPARSE☆12May 24, 2022Updated 4 years ago
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- a simple general program language☆99Feb 2, 2026Updated 5 months ago