Copilot-Language / copilot-languageLinks
(DEPRECATED) Front-end of Copilot defining the user language.
☆16Updated 4 years ago
Alternatives and similar repositories for copilot-language
Users that are interested in copilot-language are comparing it to the libraries listed below
Sorting:
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Morte IDE☆29Updated 4 months ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 3 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 8 years ago
- Easy entropy source for Haskell users.☆26Updated 8 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated last year
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A solid modeling language in Haskell.☆29Updated 12 years ago
- Haskell library of algebraic topology☆24Updated 13 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Programming with LVars, by example☆36Updated 10 years ago
- ☆21Updated 10 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 4 months ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated 10 months ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago