abhi18av / Alda-VsCode

Related projects ⓘ

Alternatives and complementary repositories for Alda-VsCode

• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• Stephanvs / vscode-graphviz
  This extension provides GraphViz (dot) language support for VS Code.
  ☆28Updated 4 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 7 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 10 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated this week
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆30Updated 2 weeks ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• dogezen / badgery
  Typst styled badges, boxes and menu items.
  ☆12Updated 3 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• JetBrains / Rkernel
  ☆13Updated this week
• paulmooreparks / Xfer
  An experimental data-transfer language.
  ☆15Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• kaby76 / Trash
  Toolkit for grammars
  ☆77Updated this week
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 5 years ago
• xieyuheng / logic-db
  Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
  ☆17Updated last year
• be5invis / dwtr
  A text rendering utility
  ☆10Updated 3 months ago
• jeff-hykin / experimental-tree-sitter
  💾 The hub for getting a VS Code Tree Sitter working
  ☆18Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• kdl-org / vscode-kdl
  VS Code syntax highlighting for KDL
  ☆24Updated 11 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 weeks ago
• json-schema-everywhere / json-schema-everywhere.github.io
  Tracking schema validation and editor support of data description languages.
  ☆16Updated 3 months ago
• antlr / antlr4-lab
  A client/server for trying out and learning about ANTLR
  ☆39Updated 3 months ago
• SchrodingerZhu / koka-collections
  Purely functional data structures in Koka
  ☆9Updated 3 years ago
• wasmfx / wasmfxtime
  A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
  ☆19Updated this week
• taylorh140 / typst-pintora
  A packaged version of pintora intended as a typst plugin.
  ☆15Updated last month
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 2 years ago
• nushell / this_week_in_nu
  A weekly update on Nushell
  ☆41Updated last week
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆16Updated 10 months ago
• tree-sitter / tree-sitter.github.io
  Source HTML for the Tree-sitter organization site
  ☆14Updated 2 months ago