Alternatives and similar repositories for type-sitter:

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

• matthunz / view-monad
  ☆24Updated 8 months ago
• BeFunctional / haskell-rust-ffi
  ☆15Updated last year
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆33Updated 5 months ago
• j5ik2o / rust-fp
  The Library for Functional Programming in Rust
  ☆13Updated 2 weeks ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 8 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 8 months ago
• griba2001 / rust-monadic
  Macro to use rust IntoIterator as a monad with haskell like syntax
  ☆25Updated 5 years ago
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆39Updated 3 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated last week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 6 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
  ☆19Updated 9 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 2 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated last week
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆46Updated 2 weeks ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• hsjobeki / nix-types
  nix-types | type hints for nix
  ☆79Updated 4 months ago
• shivaraj-bh / haskell-rust-ffi-template
  A template repository demonstrating how to use a rust library as a dependency in haskell
  ☆10Updated last week
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆47Updated 3 months ago
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆102Updated last week
• MercuryTechnologies / ada
  A helpful AI assistant for Mercury engineers
  ☆16Updated 5 months ago
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆55Updated 6 months ago