(DEPRECATED) Front-end of Copilot defining the user language.
☆16Mar 29, 2021Updated 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:
- Repository containg reports and documentation on Copilot☆17Dec 14, 2024Updated last year
- A bot that uses elm-review to find common mistakes in packages.☆17Feb 16, 2022Updated 4 years ago
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 8 years ago
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated last year
- Script to download all of Hackage☆16Jul 14, 2019Updated 6 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jan 13, 2025Updated last year
- A (Haskell DSL) stream language for generating hard real-time C code.☆152Mar 30, 2019Updated 6 years ago
- Development board for the STM32F4 microcontrollers☆18Jan 31, 2013Updated 13 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Jul 11, 2015Updated 10 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 2 weeks ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- Haskell plugin for Gradle☆16Sep 20, 2018Updated 7 years ago
- A FUSE file system that interpolates secret information☆20Dec 16, 2016Updated 9 years ago
- An implementation of the 7GUIs in reflex-dom☆17Jun 1, 2016Updated 9 years ago
- ☆67Jul 19, 2025Updated 7 months ago
- CRI implementation for Nix packages☆21Jan 24, 2020Updated 6 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Jun 4, 2024Updated last year
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 2 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 13 years ago
- Extensible exceptions for servant☆23Jan 25, 2021Updated 5 years ago
- ITESM project☆10Dec 5, 2016Updated 9 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 10 years ago
- ☆21Feb 21, 2018Updated 8 years ago
- Haskell data types and functions for countries☆28Mar 7, 2025Updated 11 months ago
- 🎏 Haskell implementation of Jsonnet☆25Feb 1, 2026Updated last month
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- Planning poker implementation for remote teams written in Haskell & Elm☆21Jan 24, 2025Updated last year
- a http(s) client in idris☆29Dec 11, 2024Updated last year
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 weeks ago
- Pixel art for games☆139Dec 16, 2014Updated 11 years ago