Psteven5 / Struct.hs

Related projects ⓘ

Alternatives and complementary repositories for Struct.hs

• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• 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.
  ☆27Updated 2 years ago
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 2 years ago
• matthunz / view-monad
  ☆23Updated 3 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 2 months ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆24Updated last year
• serokell / xrefcheck
  Check cross-references in repository documents
  ☆55Updated this week
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 2 months ago
• tweag / haskell-training
  Material for Haskell training
  ☆32Updated last year
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆41Updated 2 weeks ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆56Updated this week
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆53Updated 4 months ago
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆38Updated 2 weeks ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• bgamari / attoparsec
  A fast Haskell library for parsing ByteStrings
  ☆10Updated 2 years ago
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆38Updated 4 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated last year
• tomjaguarpaw / bluefin
  ☆66Updated last week
• serokell / ghc.dev
  The https://ghc.dev Website Generator
  ☆21Updated 3 weeks ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆36Updated last month
• kbertalan / tyttp
  ☆18Updated 6 months ago
• sdiehl / vim-ormolu
  Plugin for formatting Haskell source code
  ☆40Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 5 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆50Updated 5 months ago