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:
- Haskell library for visualizing algorithmic decomposition of computations.☆10Nov 21, 2015Updated 10 years ago
- ☆60Sep 14, 2026Updated last month
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Sep 14, 2011Updated 15 years ago
- Indexed Types☆13Sep 4, 2022Updated 4 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 8 years ago
- 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
- Inline C & Objective-C in Haskell☆148Jul 30, 2017Updated 9 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Open source scripts for videos I publish on YouTube.☆24Aug 15, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆25Jul 30, 2013Updated 13 years ago
- ☆19Jul 23, 2017Updated 9 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 years ago
- A GHC plugin and library for analysing GHC Core☆55Feb 4, 2025Updated last year
- Invoke and manage a Java Virtual Machine from Haskell☆14Jun 18, 2012Updated 14 years ago
- Live Haskell coding problems☆40Sep 30, 2015Updated 11 years ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 15 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- What I Wish I Knew While Learning Nix☆33Dec 9, 2021Updated 4 years ago
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 7 years ago
- Tool for uploading unikernels into EC2☆77Aug 27, 2018Updated 8 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 3 years ago
- Combinators for drawing 2D shapes and images in Haskell (using OpenGL)☆32Feb 20, 2018Updated 8 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 9 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated 2 years ago
- Haskell suite library for package management and integration with Cabal☆20May 2, 2018Updated 8 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆24Jan 23, 2017Updated 9 years ago
- the (very humble) beginnings of a kafka client for haskell☆36Aug 8, 2018Updated 8 years ago
- B+-tree implementation in Haskell☆28May 12, 2019Updated 7 years ago
- Dynamic Scheduling System for the GBT☆16Sep 6, 2011Updated 15 years ago
- Haskell ODBC binding with SQL Server support☆44Mar 10, 2024Updated 2 years ago
- First class composable record labels for Haskell.☆68Oct 23, 2025Updated last year
- cgen generates C interfaces from C++ headers☆22Nov 11, 2016Updated 9 years ago