My type-ups for copilot to learn from.
☆11Aug 30, 2022Updated 3 years ago
Alternatives and similar repositories for copilot-learning-materials
Users that are interested in copilot-learning-materials are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years 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.
- A latex template for writing statement-of-purpose for many schools at the same time☆45Dec 11, 2023Updated 2 years ago
- ☆12Jun 13, 2023Updated 3 years ago
- ☆15Apr 1, 2021Updated 5 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 9 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Dec 16, 2022Updated 3 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Jan 6, 2024Updated 2 years ago
- Optimization Coach Plug-In for DrRacket☆20May 26, 2026Updated last month
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 4 years ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- Text diffing in zig☆14Feb 15, 2023Updated 3 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 6 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 better pattern matching macro for janet☆13Aug 4, 2024Updated last year
- Rust NonEmpty slice☆13Jul 5, 2021Updated 5 years ago
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆25Dec 19, 2025Updated 7 months ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆11Jun 29, 2024Updated 2 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 3 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- The office hours queue for Carnegie Mellon's 15-122 course.☆12Feb 25, 2023Updated 3 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Arduino Leonardo compatible PHUKD library☆12May 23, 2018Updated 8 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- 🪆 A Staged Type Theory☆36Sep 4, 2023Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 8 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago