ponylang/pony-language-server external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ponylang/pony-language-server

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ponylang/pony-language-server)

Close

ponylang / pony-language-serverView on GitHubMore

• External links
• Readme badge

Language server for Pony

☆25Feb 5, 2026Updated last month

Alternatives and similar repositories for pony-language-server

Users that are interested in pony-language-server are comparing it to the libraries listed below

• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• vcsjones / xaes-256-gcm-dotnet

  View on GitHub
  ☆12Nov 18, 2025Updated 3 months ago
• ponylang / postgres

  View on GitHub
  Pure Pony Postgres client
  ☆17Updated this week
• ponylang / corral

  View on GitHub
  Pony dependency manager tool
  ☆207Updated this week
• ponylang / lori

  View on GitHub
  A TCP networking library for Pony
  ☆15Updated this week
• ponylang / http_server

  View on GitHub
  Pony library for building HTTP server applications.
  ☆36Updated this week
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• tallakt / stream_split

  View on GitHub
  Split a stream into a head and tail, without iterating the tail
  ☆37Dec 18, 2022Updated 3 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• ponylang / http

  View on GitHub
  ponylang HTTP client library
  ☆44Updated this week
• LUCIDresearch / JuzzyPython

  View on GitHub
  ☆11Jan 8, 2025Updated last year
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆52Nov 21, 2025Updated 3 months ago
• Dalvii / mc-web-voicechat

  View on GitHub
  🎙️WebVoiceChat brings 3D voice communication to Minecraft with just a web page ! 🎧 This plugin allows players to talk to each other in …
  ☆15Jan 10, 2025Updated last year
• lpil / formal

  View on GitHub
  ☆50Aug 6, 2025Updated 7 months ago
• citizenmatt / resharper-preview-tab

  View on GitHub
  DEPRECATED: ReSharper plugin to support Visual Studio's preview tab
  ☆13Apr 4, 2017Updated 8 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• guilhermec-costa / Tracker.nvim

  View on GitHub
  Data analityics and dashboards about your perfomance inside neovim? yeah 📊
  ☆12May 22, 2024Updated last year
• marcmunro / veil2

  View on GitHub
  Virtual Private Database toolset for Postgres
  ☆12Jun 6, 2021Updated 4 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• ponylang / crypto

  View on GitHub
  Library of common cryptographic algorithms and functions for Pony
  ☆12Jul 16, 2025Updated 7 months ago
• RUB-NDS / OOXML_Signature_Security

  View on GitHub
  USENIX 2023 Artifacts
  ☆11Nov 25, 2022Updated 3 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• martenframework / marten-auth

  View on GitHub
  An authentication system for the Marten web framework.
  ☆12Jan 24, 2026Updated last month
• 0xd34df00d / inline-asm

  View on GitHub
  Inline Assembly code in ur Haskell!
  ☆48Mar 24, 2025Updated 11 months ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• savi-lang / savi

  View on GitHub
  A fast language for programmers who are passionate about their craft.
  ☆157Feb 7, 2026Updated 3 weeks ago
• Theodus / jennet

  View on GitHub
  A simple HTTP web framework written in Pony
  ☆94Jul 31, 2025Updated 7 months ago
• andreypopp / type-systems

  View on GitHub
  Playing with type systems
  ☆51Dec 29, 2024Updated last year
• nerves-project / nerves_system_vultr

  View on GitHub
  Experimental - join the Nerves discord if interested
  ☆16Feb 17, 2026Updated 2 weeks ago
• jackfirth / racket-package-ci-action

  View on GitHub
  A GitHub Action for building and testing Racket packages
  ☆12Jun 24, 2022Updated 3 years ago
• fox0430 / nyat

  View on GitHub
  nyat is cat clone. Written in nim.
  ☆10Dec 6, 2018Updated 7 years ago
• ZaninDavide / patatrac

  View on GitHub
  A powerful and user-friendly Typst package for drawing physics diagrams.
  ☆16Dec 24, 2025Updated 2 months ago
• a3lem / replink

  View on GitHub
  A handy CLI for executing code in a REPL in a separate pane
  ☆16Oct 18, 2025Updated 4 months ago
• thiagomajesk / gluttony

  View on GitHub
  Compliant elixir RSS 2.0 and Atom 1.0 parser
  ☆12Aug 1, 2024Updated last year
• brunoti / kreator

  View on GitHub
  a very very wip query builder for gleam
  ☆10Mar 21, 2024Updated last year
• AshleyF / Lispkit

  View on GitHub
  Lispkit Lisp/SECD Machine
  ☆12Sep 11, 2017Updated 8 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year