Alternatives and similar repositories for tensort

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

• dariooddenino / unison-mode-emacs
  Very simple syntax highlighting
  ☆21Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 6 months ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆13Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• unisoncomputing / share-api
  Unison Share's backend server
  ☆28Updated this week
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆18Updated last month
• deech / shen-rust
  ☆35Updated 6 years ago
• vmchale / apple
  Apple array system
  ☆68Updated last week
• mthom / scryer-shen
  ☆56Updated 5 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 4 months ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 9 months ago
• dfithian / chez-grater
  ☆37Updated last year
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 3 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated this week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 6 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• racket / datalog
  ☆48Updated 2 months ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆87Updated 5 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆34Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• pa-ba / AsyncRattus
  ☆13Updated 7 months ago