Copilot-Language / copilot-discussionLinks
Repository containg reports and documentation on Copilot
☆17Updated 10 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 talk☆28Updated 4 years ago
- Agda category theory library for denotational design☆53Updated 2 weeks ago
- GRIN backend for Idris☆50Updated 5 years ago
- an optimizing curry compiler☆14Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- A certified semantics for relational programming workout.☆26Updated 5 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Haskell library of algebraic topology☆25Updated 14 years ago
- ☆37Updated last year
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- Braid representations in Haskell☆21Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Text generation language☆34Updated last month
- Interpret Haskell programs into any cartesian closed category.☆66Updated last month
- Lua backend for Idris 2☆28Updated 3 years ago
- The SAW core language.☆54Updated 4 years ago
- Morte IDE☆29Updated 7 months ago
- The Iowa Agda Library☆49Updated last month
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last week
- All the Transient libraries☆42Updated 2 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 months ago
- Universal Live Coding & Functional Reactive Programming Framework☆68Updated this week
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- ☆14Updated 3 months ago
- music sequencer and generalized notation☆72Updated 8 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Updated 2 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 6 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago