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
Sorting:
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 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
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- Optimization Coach Plug-In for DrRacket☆20Feb 21, 2026Updated last week
- ☆15Apr 1, 2021Updated 4 years ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Jan 6, 2024Updated 2 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 9 years ago
- ☆16Mar 11, 2022Updated 3 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A latex template for writing statement-of-purpose for many schools at the same time☆46Dec 11, 2023Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Experimental lock-free structures in Rust.☆21May 10, 2022Updated 3 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Apr 7, 2022Updated 3 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- ☆25Aug 30, 2024Updated last year
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆25Dec 19, 2025Updated 2 months ago
- Very Naive MIPS CPU using Clash☆29Oct 17, 2021Updated 4 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago