Alternatives and similar repositories for type-sitter:

Users that are interested in type-sitter are comparing it to the libraries listed below

• BeFunctional / haskell-rust-ffi
  ☆15Updated last year
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆47Updated 6 months ago
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆29Updated 2 months ago
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆12Updated last month
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆67Updated this week
• matthunz / view-monad
  ☆24Updated 5 months ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆18Updated 7 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• fir-lang / fir
  ☆25Updated this week
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆26Updated 3 months ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆47Updated last month
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆38Updated 3 weeks ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆56Updated 4 months ago
• nickel-lang / json-schema-to-nickel
  Convert JSON schemas into Nickel contracts
  ☆33Updated this week
• tweag / nixpkgs-graph-explorer
  Explore the nixpkgs dependency graph
  ☆16Updated last year
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated this week
• ShinKage / nvim-idris2
  EXPERIMENTAL: Idris2 plugin for neovim in Idris2
  ☆10Updated 3 years ago
• hsjobeki / nix-types
  nix-types | type hints for nix
  ☆75Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 2 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• tweag / nixtract
  A CLI tool to extract the graph of derivations from a Nix flake.
  ☆84Updated 4 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆22Updated 3 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 2 weeks ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 5 months ago
• lukel97 / lsp-test
  A functional test framework for LSP servers
  ☆35Updated 3 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆14Updated 8 months ago
• lyphyser / deptypes
  ☆16Updated 10 months ago