Alternatives and similar repositories for bluefish:

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

• exsitu-projects / lorgnette
  👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.
  ☆15Updated 9 months ago
• engraftdev / engraft
  ☆36Updated this week
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 6 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated last week
• cluesurf / tree
  A Data Modeling Programming Language
  ☆15Updated 2 months ago
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆25Updated 10 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 5 months ago
• google / formal-ml
  ☆25Updated 3 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 10 months ago
• brurucy / materialized-view
  ☆14Updated 7 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated last year
• alexobenauer / Breadboard
  ☆20Updated 6 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 7 months ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated last week
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆23Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• brisktest / brisk-extension
  The VS Code Brisk Extension
  ☆29Updated 7 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 3 weeks ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 7 months ago
• inkandswitch / potluck
  ☆76Updated last year
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆16Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 3 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆107Updated last year
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month