Codelabs for Google's Android Developer Fundamentals Course (Version 2)
☆41Jun 25, 2019Updated 7 years ago
Alternatives and similar repositories for Android-Developer-Fundamentals-Version-2
Users that are interested in Android-Developer-Fundamentals-Version-2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Aug 15, 2025Updated 10 months ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- frozenkp's blog☆13Aug 25, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jul 22, 2022Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 3 months ago
- ☆16Jun 26, 2019Updated 7 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 2 months ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- My-CTF-Challenges☆15Sep 27, 2021Updated 4 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- ☆16Jun 9, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CVE-2021-3019 lanproxy目录遍历任意文件读取漏洞探测POC☆12Mar 19, 2021Updated 5 years ago
- Custom Credential Provider to Log credentials on Windows 7 and higher☆16Mar 17, 2018Updated 8 years ago
- ☆20Jul 27, 2020Updated 5 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- Inject remote process without using ptrace on linux based system☆19Apr 26, 2022Updated 4 years ago
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 5 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Search Hoogle with Alfred☆21Nov 20, 2019Updated 6 years ago
- Binary Feature(ACFG) Database for DataCon2022-IoT-Challenge-2☆22Dec 11, 2022Updated 3 years ago
- 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.
- A few resources for fuzzing☆17Sep 25, 2022Updated 3 years ago
- CVE-2022-0185 exploit rewritten with pipe primitive☆16Apr 5, 2022Updated 4 years ago
- Pyth SDK in Solidity☆17May 6, 2025Updated last year
- Writeup for Move CTF 2022 by MoveBit and others.☆18Nov 9, 2022Updated 3 years ago
- Tinycsockets is a thin cross-platform socket library written in C99. It focuses on a minimal footprint, cross-platform and on simple usag…☆18May 13, 2026Updated last month
- CIS 6700, Spring 2023☆19Feb 15, 2023Updated 3 years ago
- Accompanying code for my post on https://blog.decentm.com/bringing-ui-sword-art-online-html/☆11Jul 26, 2018Updated 7 years ago
- Archive of AAA CTF 2022 (XCTF competition)☆78Nov 6, 2024Updated last year
- Sword Art Online User Interface☆15Jan 24, 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.
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- iOS微信数据库分析工具☆21Mar 1, 2020Updated 6 years ago
- Emacs flymake handler for python using pyflakes☆30Apr 22, 2026Updated 2 months ago
- ☆29Sep 18, 2015Updated 10 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 13 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆27Jun 26, 2026Updated last week