GaloisInc / gidlView external linksLinks
Gidl: an Interface Description Language
☆10Aug 11, 2017Updated 8 years ago
Alternatives and similar repositories for gidl
Users that are interested in gidl are comparing it to the libraries listed below
Sorting:
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 6 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Sep 14, 2011Updated 14 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 8 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Nitro Web Application Framework☆74Aug 6, 2010Updated 15 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 15 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 5 months ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago