smarr / effortless-language-servers

Related projects ⓘ

Alternatives and complementary repositories for effortless-language-servers

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated this week
• jhp / imperative
  Structured UI Programming with ES6 Generators
  ☆24Updated 11 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆18Updated 4 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 6 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 6 months ago
• dkrasner / Simpletalk
  ☆53Updated last year
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated last week
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 4 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆56Updated 11 months ago
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 2 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
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated last month
• mindcrime-forks / redis
  Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…
  ☆17Updated 7 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆42Updated 2 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆46Updated 10 months ago
• brennancheung / wasmtalk
  Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)
  ☆11Updated last year
• lezer-parser / lezer
  Dev utils and issues for the Lezer core packages
  ☆34Updated 10 months ago