kaBeech / tensort

Related projects ⓘ

Alternatives and complementary repositories for tensort

• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆42Updated 7 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆18Updated last week
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated 3 weeks ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated last week
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 8 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆14Updated 6 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆30Updated 3 years ago
• vilterp / elm-diagrams
  An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.
  ☆44Updated 8 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• mthom / scryer-shen
  ☆43Updated 2 weeks ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 8 months ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆28Updated last year
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 4 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 3 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 8 years ago