Haskell FFI to libclang
☆58Jun 10, 2017Updated 9 years ago
Alternatives and similar repositories for LibClang
Users that are interested in LibClang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Sep 14, 2011Updated 15 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- Easy C++ code analysis with pure Haskell☆36Sep 25, 2024Updated 2 years ago
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆25Jul 30, 2013Updated 13 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 11 years ago
- Open source scripts for videos I publish on YouTube.☆24Aug 15, 2015Updated 11 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 10 years ago
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- A GHC plugin and library for analysing GHC Core☆55Feb 4, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 7 years ago
- Live Haskell coding problems☆40Sep 30, 2015Updated 11 years ago
- Dynamic Scheduling System for the GBT☆16Sep 6, 2011Updated 15 years ago
- Tool for uploading unikernels into EC2☆77Aug 27, 2018Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆36Aug 8, 2018Updated 8 years ago
- What I Wish I Knew While Learning Nix☆33Dec 9, 2021Updated 4 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 3 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell suite library for package management and integration with Cabal☆20May 2, 2018Updated 8 years ago
- ☆19Jul 23, 2017Updated 9 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Succinct vectors