Copilot-Language / copilot-language
(DEPRECATED) Front-end of Copilot defining the user language.
☆15Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for copilot-language
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated 3 weeks ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Haskell's Core in K.☆20Updated 7 years ago
- Invertible parsing for S-expressions☆33Updated last month
- Resin: high performance variable binder and ast manipulation lib☆13Updated 5 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Morte IDE☆29Updated 10 months ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Experimental C++11 backend for Idris☆14Updated 9 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago