Unisay / purescript-lua

Related projects: ⓘ

• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆62Updated 2 weeks ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• ShinKage / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆46Updated 5 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆45Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆18Updated last month
• divarvel / haskle
  Source code for haskle.net
  ☆29Updated last year
• kajetansw / purescript-react-vite-starter
  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.
  ☆26Updated 2 years ago
• josephsumabat / static-ls
  ☆98Updated 3 weeks ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆71Updated last week
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• cdupont / Timeloop
  ☆40Updated 10 months ago
• Kleidukos / boreal
  ☆17Updated last week
• sayo-hs / heftia
  higher-order effects done right for Haskell
  ☆46Updated last week
• matthunz / view-monad
  ☆22Updated last month
• awkward-squad / ki
  A structured concurrency library
  ☆81Updated 2 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated last month
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆38Updated 3 months ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆56Updated last month
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆53Updated 2 months ago
• natefaubion / purescript-tidy
  A syntax tidy-upper for PureScript.
  ☆91Updated 6 months ago
• alexmingoia / twain
  Tiny web application framework for WAI.
  ☆69Updated last year
• anton-k / mig
  Lightweight and composable servers for Haskell
  ☆71Updated 9 months ago
• purefunctor / purescript-analyzer
  [🚀 Work In Progress] Compiler frontend for the PureScript programming language.
  ☆52Updated 3 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated 9 months ago
• purifix / purifix
  The PureScript Package Manager in Nix
  ☆52Updated last week
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆21Updated 2 years ago
• MercuryTechnologies / ghciwatch
  Load a GHCi session for a Haskell project and reload it when source files change
  ☆105Updated last week
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• tweag / haskell-training
  Material for Haskell training
  ☆32Updated last year