Haskell optimisation tool based on supercompilation
☆29Jul 2, 2016Updated 10 years ago
Alternatives and similar repositories for supero
Users that are interested in supero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Haskell pattern match analsyis checker☆15Mar 26, 2015Updated 11 years ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- A PGF backend for diagrams☆15Aug 9, 2026Updated 2 months 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.
- An llvm pretty printer inspired by the haskell llvm binding☆33Oct 9, 2026Updated last week
- A very efficient ByteString builder implementation based on the binary tree☆20Feb 3, 2025Updated last year
- Extensible type-safe unions for Haskell☆35Sep 28, 2026Updated 2 weeks ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 3 years ago
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 8 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Jul 15, 2026Updated 3 months ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- ☆28Mar 13, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reverse-mode automatic differentiation with delimited continuations☆17Jul 3, 2023Updated 3 years ago
- Lastfm API interface.☆13Mar 22, 2020Updated 6 years ago
- Haskell bindings to lz4☆21Feb 16, 2026Updated 8 months ago
- UCI-compatible chess engine in OCaml.☆15Apr 20, 2025Updated last year
- Show programming language printed values in a web UI☆24May 16, 2019Updated 7 years ago
- Generic types and functions for encoding and decoding columns☆45Nov 4, 2024Updated last year
- Haskell heap profiling with D3.js☆17Feb 24, 2015Updated 11 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆26Mar 1, 2022Updated 4 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- Haskell interface to the udis86 disassembler for x86 and x86-64 / AMD64☆14Aug 28, 2011Updated 15 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 3 years ago
- Fixed length vector for haskell☆22Jun 17, 2026Updated 4 months ago
- A reimplementation of NSynth in PyTorch.☆14Dec 12, 2019Updated 6 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Jan 5, 2023Updated 3 years ago
- Tagless final style interpreter / wrapper for D3 in PureScript, latest of many re-writes☆39Apr 4, 2026Updated 6 months ago
- Image processing examples which use the friday image library.☆15Nov 3, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Advanced .Net API for RabbitMQ☆10Jul 9, 2024Updated 2 years ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 3 years ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Sep 6, 2018Updated 8 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆36Jun 28, 2017Updated 9 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- GHCup metadata repository☆45Updated this week