Alternatives and similar repositories for vecchio:

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

• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• proglang / ldgv
  Label dependent dependent session types
  ☆15Updated 8 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 6 months ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 8 months ago
• chris-martin / graphical-haskell
  ☆13Updated 5 years ago
• chessai / patience
  Patience diff and longest increasing subsequence
  ☆12Updated last year
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 10 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 8 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• hdgarrood / qq-literals
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Updated 3 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
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• BeFunctional / haskell-foreign-rust
  ☆11Updated last year
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆14Updated 6 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago