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
- Lambda calculus go brrrr☆30Updated 2 years ago
- Morte IDE☆29Updated 9 months ago
- An efficient graph library for Haskell☆40Updated 5 months ago
- ☆20Updated 6 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated last year
- music sequencer and generalized notation☆72Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 7 years ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Agda category theory library for denotational design☆56Updated last week
- A certified semantics for relational programming workout.☆26Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- ☆33Updated last week
- Exact real arithmetic in Haskell☆25Updated 4 years ago
- ☆15Updated 6 years ago
- Text generation language☆34Updated 4 months ago
- Grow procedual art☆37Updated 10 months ago
- An implementation of miniKanren in Haskell☆79Updated 12 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Updated last month
- The SAW core language.☆55Updated 4 years ago
- ☆14Updated 2 months ago
- an optimizing curry compiler☆14Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 5 months ago
- All the Transient libraries☆44Updated 3 weeks ago