Copilot-Language / copilot-discussionLinks
Repository containg reports and documentation on Copilot
☆16Updated 5 months ago
Alternatives and similar repositories for copilot-discussion
Users that are interested in copilot-discussion are comparing it to the libraries listed below
Sorting:
- A categorical semantics library in Agda.☆17Updated 5 years ago
- A subfield of the complex numbers for exact calculation.☆21Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Braid representations in Haskell☆22Updated last year
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆14Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated 3 weeks ago
- A Haskell game written in Yampa☆27Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- Combinatorial species in HoTT☆12Updated 10 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- Regular expressions of types☆16Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A talk☆28Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last week
- Lambda calculus go brrrr☆29Updated last year
- The Iowa Agda Library☆47Updated 6 months ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Text generation language☆34Updated 2 weeks ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- Plugin scaffolding for nixpkgs☆12Updated 6 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 4 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- a http(s) client in idris☆27Updated 5 months ago
- A programming language that deduces code from tests☆30Updated 7 years ago