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 2 months ago
• ponylang / corral

  View on GitHub
  Pony dependency manager tool
  ☆208Updated this week
• ponylang / http_server

  View on GitHub
  Pony library for building HTTP server applications.
  ☆35Jan 20, 2026Updated 3 weeks ago
• 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
• LUCIDresearch / JuzzyPython

  View on GitHub
  ☆11Jan 8, 2025Updated last year
• JockLawrie / MultinomialRegression.jl

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

  View on GitHub
  ponylang HTTP client library
  ☆43Jan 20, 2026Updated 3 weeks ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆52Nov 21, 2025Updated 2 months ago
• 0xd34df00d / inline-asm

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

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 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
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• RUB-NDS / OOXML_Signature_Security

  View on GitHub
  USENIX 2023 Artifacts
  ☆11Nov 25, 2022Updated 3 years ago
• marcmunro / veil2

  View on GitHub
  Virtual Private Database toolset for Postgres
  ☆12Jun 6, 2021Updated 4 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months 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 6 months ago
• calcu16 / lean_complexity

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

  View on GitHub
  Playing with type systems
  ☆51Dec 29, 2024Updated last year
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• WEEDO3DTECH / PrusaSlicer-Profiles

  View on GitHub
  The profiles of WEEDO printers for PrusaSlicer
  ☆11Mar 1, 2023Updated 2 years ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• chaw / r7rs-libs

  View on GitHub
  Scheme libraries written or packaged for R7RS implementations
  ☆13Apr 7, 2018Updated 7 years ago
• Hakarikyo / Huawei-Matebook-X-Pro-2018

  View on GitHub
  Huawei-Matebook-X-Pro-2018 黑苹果
  ☆12Jun 19, 2023Updated 2 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• ViRb3 / brookshear-vm

  View on GitHub
  A brookshear virtual machine written in Go
  ☆10Sep 5, 2019Updated 6 years ago
• MDA2AV / uRocket

  View on GitHub
  C# Linux io_uring reactor architecture with await/async support
  ☆19Feb 5, 2026Updated last week
• tinybasic-rkt / tinybasic-rkt

  View on GitHub
  TinyBasic implementation in Racket (WIP)
  ☆13Apr 25, 2025Updated 9 months ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• funtuan / reallink-frontend

  View on GitHub
  ☆12May 21, 2021Updated 4 years ago
• rebexnet / elliptic

  View on GitHub
  Elliptic curve algorithm wrappers
  ☆14Oct 17, 2024Updated last year