HTTP proxy for authenticating users via OAuth2
☆10Sep 6, 2019Updated 7 years ago
Alternatives and similar repositories for sproxy2
Users that are interested in sproxy2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell simulations of spacecraft manoeuvres☆19Jun 24, 2020Updated 6 years ago
- Starfield renderer☆11Jun 26, 2019Updated 7 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 9 years ago
- Display output of scripts in the macOS status bar☆15Aug 12, 2026Updated 2 months ago
- Quickly sets up a NixOS build-slave in VirtualBox to ease NixOps deployments from macOS, etc.☆18Feb 23, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆25Jun 30, 2026Updated 3 months ago
- A theorem prover☆17Aug 19, 2026Updated 2 months ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Pure Haskell LDAP client library☆13Nov 18, 2025Updated 11 months ago
- Bindings for LDAP [Haskell]☆13Oct 18, 2022Updated 4 years ago
- HTTP cookie parsing and rendering☆21Mar 31, 2025Updated last year
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Tools for working with Hadoop, written with performance in mind.☆37Dec 8, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a netcat-style command-line tool for ZMQ☆28Mar 17, 2019Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- ☆12Aug 24, 2014Updated 12 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- The most complete prelude formed only from the "base" package☆30Oct 11, 2023Updated 3 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- ☆11Apr 3, 2020Updated 6 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated 2 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆18Oct 19, 2022Updated 4 years ago
- A Haskell client library for Cayley database graph☆14Aug 28, 2026Updated 2 months ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 9 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The repo for the papers☆10Jan 29, 2019Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 7 years ago
- Use conduit to process/manipulate/convert audio☆18Feb 26, 2026Updated 8 months ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- ☆11Dec 24, 2019Updated 6 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 6 months ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago