Unisay / purescript-lua
Purescript compiler back-end for Lua
☆56Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for purescript-lua
- Manage your PureScript projects with Nix!☆71Updated 2 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 2 weeks ago
- ☆40Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated 3 months ago
- Nix support for the Unison programming language☆57Updated last month
- Load a GHCi session for a Haskell project and reload it when source files change☆112Updated 2 months ago
- A shell prompt with infinite customization☆39Updated 5 months ago
- ☆140Updated this week
- Lightweight and composable servers for Haskell☆71Updated 11 months ago
- This is a starter project for everyone who'd like to start with PureScript with React and Vite as a tool for your dev server and build.☆27Updated 2 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆46Updated 7 months ago
- ☆71Updated 2 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated this week
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago
- Extend Cabal build-depends from the command line☆55Updated last week
- Incremental vi and emacs tags for haskell.☆76Updated 2 months ago
- Terminal Emulator written in 100% Haskell☆67Updated 2 years ago
- The PureScript Package Manager in Nix☆55Updated last week
- higher-order algebraic effects done right for Haskell☆72Updated this week
- A modern testing framework for Haskell with good defaults and advanced testing features.☆116Updated this week
- Source material for Certainty by Construction☆37Updated 10 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- [🚀 Work In Progress] Compiler frontend for the PureScript programming language.☆52Updated 5 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Declarative feedback loop manager☆64Updated last week
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- Plugin for formatting Haskell source code☆40Updated 3 years ago