A website server that supports serving many websites using subdomain-based routing.
☆21Jul 20, 2025Updated 8 months ago
Alternatives and similar repositories for x-server
Users that are interested in x-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Command line interface that allows you to manage the back end of your self hosted typesense server. Builds on top of the typesense js l…☆17Sep 25, 2023Updated 2 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 2 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Sort array of semver string even which is exist in a strings.☆21Dec 15, 2021Updated 4 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated last year
- ☆18Aug 20, 2019Updated 6 years ago
- Utility to automate downloads of torrent series☆12Jan 27, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A stack-based language implemented in RISC-V assembly☆17Apr 4, 2024Updated last year
- Promise-alternative library for doing asynchronous operations☆10Jan 26, 2026Updated 2 months ago
- A TypeScript package to build LLM-powered research pipelines and get results in a structured format.☆17May 13, 2025Updated 10 months ago
- ☆16Oct 7, 2025Updated 5 months ago
- ☆16Mar 3, 2026Updated 3 weeks ago
- Arm (Thumb2) Linux Forth Compiler☆17Sep 26, 2020Updated 5 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Plugin to support Dex dynamic OIDC authorization to Vault.☆10Apr 10, 2019Updated 6 years ago
- ☆11Aug 11, 2016Updated 9 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 2 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- A demo for hexo-theme-book.☆10Oct 10, 2020Updated 5 years ago
- Trivial portability for raw *nix IO in Common Lisp☆20Dec 2, 2014Updated 11 years ago
- Linux X86_32 Fortth compiler. Formerly known as IsForth.☆18Mar 6, 2025Updated last year
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 7 years ago
- spec for defining "scuttlebutt" as a living changing protocol☆28Jun 30, 2019Updated 6 years ago
- Files for the xlib tutorial at https://handmade.network/wiki/2834-tutorial_a_tour_through_xlib_and_related_technologies☆16Jan 7, 2018Updated 8 years ago
- https://elm.run☆10Oct 31, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A lean typeahead library☆38Jun 8, 2023Updated 2 years ago
- ☆11Nov 25, 2018Updated 7 years ago
- Little Racket Interpreter☆16Mar 21, 2020Updated 6 years ago
- Typescript sum types with pattern matching, using multimethods☆18Nov 5, 2017Updated 8 years ago
- Code for the Arduino Home Automation book published by PacktPub☆11Jun 4, 2014Updated 11 years ago
- A static site generator that generates routes based on directories naturally.☆19Jul 31, 2025Updated 7 months ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year