Alternatives and similar repositories for type-sitter:

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

• g-plane / wasm-language-tools
  Language server and other tools for WebAssembly.
  ☆26Updated this week
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 10 months ago
• BeFunctional / haskell-rust-ffi
  ☆16Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆34Updated 7 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆47Updated 3 weeks ago
• shivaraj-bh / haskell-rust-ffi-template
  A template repository demonstrating how to use a rust library as a dependency in haskell
  ☆10Updated this week
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• matthunz / view-monad
  ☆23Updated 9 months ago
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆19Updated 11 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆25Updated 7 months ago
• autobib / nucleo-picker
  a performant and Unicode-aware fuzzy picker tui library for rust
  ☆21Updated 3 months ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• obsidiansystems / sandstone
  Fine-grained Haskell builds with Nix's dynamic derivations
  ☆38Updated last month
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated last week
• ibaryshnikov / iced-hs
  Haskell wrapper for iced
  ☆33Updated 3 weeks ago
• BeFunctional / haskell-foreign-rust
  ☆13Updated 2 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆103Updated this week
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated last week
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆102Updated 2 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 3 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆26Updated 6 months ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆61Updated 3 years ago