Alternatives and similar repositories for slate:

Users that are interested in slate are comparing it to the libraries listed below

• midas-framework / gleam_providers
  Type providers (Code generation) for Gleam programs that use Mix.
  ☆11Updated 4 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 4 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last week
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated last week
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 3 years ago
• kamadorueda / nixpkgs-db
  A database with packages from all versions, all commits and all channels.
  ☆18Updated 4 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated 2 weeks ago
• pabloariasal / protofmt
  Formatter for Protocol Buffer files
  ☆28Updated 2 years ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆22Updated 5 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• chessai / patience
  Patience diff and longest increasing subsequence
  ☆12Updated last year
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated last month
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 months ago
• gleam-experiments / experiments
  🧪 This is not real code
  ☆12Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆31Updated last year
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 8 months ago
• markhibberd / xsh
  Shell.
  ☆14Updated 7 years ago
• basile-henry / conflict
  Conflict is a small esoteric language giving semantics to git merge conflicts
  ☆14Updated 4 years ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 4 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆15Updated last month
• jeffkreeftmeijer / shine
  A test runner for Gleam and Erlang.
  ☆13Updated 3 years ago
• fosskers / credit
  A fast tool for measuring Github repository contributions.
  ☆31Updated last year
• isovector / latex-live-snippets
  deprecated by `design-tools`
  ☆17Updated 6 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• lukateras / nix-of-mix
  Sandboxable Mix (Elixir) project Nix evaluator
  ☆16Updated last month