Copilot-Language / copilot-languageLinks
(DEPRECATED) Front-end of Copilot defining the user language.
☆15Updated 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
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 10 months ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Concurrency features for the Haskell machines package☆16Updated 3 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- Simple Amazon IoT compatible client☆13Updated 5 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 6 months ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago