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
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- A latex template for writing statement-of-purpose for many schools at the same time☆46Dec 11, 2023Updated 2 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- ☆15Apr 1, 2021Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- Optimization Coach Plug-In for DrRacket☆20Feb 21, 2026Updated last month
- 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 8 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- WebAssembly model in Redex☆16May 16, 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
- Elaboration with inductive types☆16Jun 1, 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
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 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 5 years ago
- a better pattern matching macro for janet☆12Aug 4, 2024Updated last year
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆25Dec 19, 2025Updated 3 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 9 months ago
- A lean portable Erlang, no BEAM☆52Sep 26, 2013Updated 12 years ago
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- The first language I made.☆30Sep 5, 2018Updated 7 years ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago