Copilot-Language / copilot-discussionLinks
Repository containg reports and documentation on Copilot
☆17Updated last year
Alternatives and similar repositories for copilot-discussion
Users that are interested in copilot-discussion are comparing it to the libraries listed below
Sorting:
- A talk☆29Updated 4 years ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- Agda category theory library for denotational design☆57Updated 2 weeks ago
- A certified semantics for relational programming workout.☆26Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated 2 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 9 months ago
- classical sequent calculus, embedded in Haskell☆21Updated 5 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 7 years ago
- ☆20Updated 6 months ago
- Morte IDE☆29Updated 10 months ago
- An efficient graph library for Haskell☆40Updated 5 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Haskell library of algebraic topology☆26Updated 14 years ago
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Text generation language☆34Updated 4 months ago
- The SAW core language.☆55Updated 4 years ago
- Library for invertible parsing and printing☆33Updated 5 months ago
- ☆14Updated 3 months ago
- ☆23Updated 2 years ago
- JHC Haskell compiler split into reusable components☆18Updated 3 weeks ago
- Exact real arithmetic in Haskell☆25Updated 4 years ago
- A Python backed for Idris 2☆29Updated 2 months ago
- Lambda calculus go brrrr☆31Updated 2 years ago
- an optimizing curry compiler☆14Updated 3 years ago
- Grow procedual art☆37Updated 10 months ago
- Resource-AWare Feldspar☆38Updated 3 years ago