frizensami / haskell-optimizationLinks
A beginner's guide to Haskell optimization
β64Updated 7 years ago
Alternatives and similar repositories for haskell-optimization
Users that are interested in haskell-optimization are comparing it to the libraries listed below
Sorting:
- Example language server (LSP) implementation for a toy languageβ60Updated 4 years ago
- π§ a work in progress effect system for Haskell π§β132Updated 2 years ago
- Low-overhead effect management for concrete monadsβ37Updated 3 years ago
- This package provides various primitive memory-related operations.β120Updated 5 months ago
- array, slices and textβ70Updated last year
- Trying to write an understandable implementation of Haskell, in Haskellβ125Updated 4 years ago
- A structured concurrency libraryβ85Updated 5 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.β26Updated 4 years ago
- Chapelure is a diagnostic library for Haskellβ45Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsersβ51Updated 3 years ago
- being an operating system for typechecking processesβ128Updated 2 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)β69Updated 4 months ago
- Named parameters (keyword arguments) for Haskellβ96Updated 5 months ago
- Language Server for Agdaβ113Updated last week
- Fast higher-order effect handlers with evidence passingβ21Updated last year
- Lightweight package providing commonly useful parser combinatorsβ54Updated last week
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 7 months ago
- Convert values from one type into another.β76Updated 2 weeks ago
- todo and unimplemented, robustly implementedβ36Updated 11 months ago
- Build systemβ124Updated last year
- Efficient Haskell effect handlers based on evidence translation.β84Updated 4 years ago
- a functional programming language with algebraic effects and handlersβ82Updated 6 months ago
- Efficient effect handlers based on Evidence Passing Semantics.β31Updated 4 years ago
- Fast and concise extensible effectsβ109Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.β38Updated 2 years ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- Javascript DOM bindings for Idris2β52Updated 2 months ago
- Software Transactional Memoryβ109Updated 2 months ago
- An effect system based on type classes, written in Haskell.β45Updated 3 years ago
- LLVM code generation in Haskellβ54Updated 10 months ago