Alternatives and similar repositories for tensort

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

• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• unisoncomputing / share-api
  Unison Share's backend server
  ☆31Updated last week
• mthom / scryer-shen
  ☆58Updated 8 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 10 months ago
• deech / shen-rust
  ☆35Updated 6 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆37Updated 2 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 4 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 6 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• pa-ba / AsyncRattus
  ☆14Updated 3 months ago
• unisoncomputing / share-ui
  The UI for Unison Share
  ☆34Updated this week
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆20Updated 2 weeks ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 3 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 8 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 3 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 5 months ago
• cara-lang / compiler
  Cara language compiler
  ☆50Updated 8 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 4 years ago
• jkoppel / ecta
  ☆37Updated last year
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆17Updated 2 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆86Updated last week