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:
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Morte IDE☆29Updated 5 months ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- Haskell library of algebraic topology☆24Updated 13 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated 11 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated this week
- 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
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated 2 years ago
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 6 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 7 years ago
- Bring fusion to everyone☆14Updated 5 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Updated 7 years ago
- A solid modeling language in Haskell.☆29Updated 13 years ago