Alternatives and similar repositories for graphlet:

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

• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆150Updated 3 years ago
• lps-js / lps.js
  Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
  ☆51Updated 5 years ago
• LivelyKernel / lively4-projectional-editor
  The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…
  ☆16Updated 7 years ago
• purescript-concur / purescript-concur-react
  Concur UI Framework for Purescript
  ☆271Updated 4 months ago
• kkty / theorem-prover
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Updated 2 years ago
• ion-lang / ion
  יון no BS JS
  ☆79Updated 7 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated 11 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆129Updated last week
• guregu / trealla-js
  Trealla Prolog for the web
  ☆48Updated last week
• johtela / litscript
  Literate Interactive TypeScript
  ☆51Updated this week
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆104Updated 2 years ago
• passiomatic / elm-designer
  A visual code generator for Elm UI.
  ☆218Updated last year
• shamansir / noodle
  Visual programming UI and framework driven by pure functional language and data streams
  ☆54Updated this week
• JonathanMEdwards / subtext10
  ☆100Updated 3 years ago
• m-ld / m-ld-spec
  Platform-independent m-ld specification
  ☆24Updated last year
• LogicalContracts / LogicalEnglish
  ☆32Updated last month
• wjlewis / ramo
  miniKanren for JavaScript
  ☆26Updated last year
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• SimonMeskens / TypeProps
  Small library for describing HKTs in TypeScript
  ☆32Updated 6 years ago
• SteKoe / ocl.js
  The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…
  ☆57Updated this week
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 2 weeks ago
• imandra-ai / verified-react
  Automated reasoning for React/ReasonML
  ☆114Updated 2 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆303Updated 2 weeks ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆72Updated 2 months ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆85Updated 4 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• jschomay / elm-narrative-engine
  A tool for building interactive fiction style stories in Elm.
  ☆136Updated last year
• d-cook / SomethingNew
  Collaboration for reinventing software in human terms
  ☆172Updated 6 years ago
• witheve / eve-native
  ☆188Updated 5 years ago