PLCT实验室2020年开放日活动的演讲资料
☆13Dec 29, 2020Updated 5 years ago
Alternatives and similar repositories for PLCT-OpenDay-2020
Users that are interested in PLCT-OpenDay-2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- Example of compiling sources into a Java JAR file☆14Jan 21, 2019Updated 7 years ago
- 史宁宁（知乎ID:小乖他爹（已经改为：编译船夫），CSDN ID：snsn1984）的演讲交流PPT及相关资料。☆45Jan 15, 2024Updated 2 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Oct 12, 2026Updated 3 weeks ago
- 中科大睿客网云盘 rec.ustc.edu.cn/recdrive (unofficial) SDK☆11Dec 21, 2022Updated 3 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.
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- The IBM Hyper Protect iOS SDK for CareKit is an addon for the CareKit framework that consumes IBM Hyper Protect Services for zero-trust p…☆12Sep 2, 2020Updated 6 years ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- ☆11Sep 15, 2024Updated 2 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- This repo contains the source code for https://pest.rs☆13Oct 16, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10Dec 31, 2018Updated 7 years ago
- Make JVM Slow Again☆12Dec 21, 2016Updated 9 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- Assembly language (汇编语言程序设计 第三版 王爽)☆14Aug 17, 2022Updated 4 years ago
- ☆12Aug 5, 2021Updated 5 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- Cmake 官方教程 -> 在线阅读☆11Mar 9, 2018Updated 8 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- compare software similarity using MOSS☆11Jun 23, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Jun 28, 2018Updated 8 years ago
- ☆11Mar 19, 2022Updated 4 years ago
- ☆11Apr 29, 2024Updated 2 years ago
- Java B+-Tree with features like flexible storage, sort order, serialization, ...☆13Dec 8, 2011Updated 14 years ago
- USTC OSH 2023 course homepage☆12Jul 27, 2023Updated 3 years ago
- Render math expression with typst markup language in Telegram☆10Apr 27, 2026Updated 6 months ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 6 years ago
- some useful scripts to solve pwn challenges in ctfs☆14Dec 29, 2020Updated 5 years ago
- ACM Exercise .. .☆10Mar 30, 2013Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- Functional Programming in C, because we can!☆14Nov 24, 2022Updated 3 years ago
- hack vm☆12Nov 30, 2019Updated 6 years ago
- An SVG parser implemented in pure Dart.☆15Aug 20, 2017Updated 9 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- รวม Domain ของบริการอีแอบ☆12Jul 12, 2026Updated 3 months ago