Dhall expressions for OpenAPI 3.0.x
☆13Mar 31, 2019Updated 6 years ago
Alternatives and similar repositories for dhall-openapi
Users that are interested in dhall-openapi are comparing it to the libraries listed below
Sorting:
- Dhall types for Kubernetes Prometheus Operator☆17Oct 2, 2023Updated 2 years ago
- Dhall-configured inductive API definitions☆24Feb 26, 2020Updated 6 years ago
- The Scala programming language☆16Mar 31, 2023Updated 2 years ago
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 8 years ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago
- Clojure client for Open Policy Agent☆11Dec 12, 2025Updated 2 months ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- ☆12Aug 24, 2014Updated 11 years ago
- ☆15Jan 26, 2014Updated 12 years ago
- send speedtest-cli results to mqtt☆10Aug 5, 2016Updated 9 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆11Mar 5, 2018Updated 8 years ago
- OpenID Connect for Julia☆14Dec 3, 2025Updated 3 months ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Static analysis tool to Identify and Fix GitHub Actions prone to Supply‑Chain Risks☆14Dec 24, 2025Updated 2 months ago
- ☆11Nov 10, 2023Updated 2 years ago
- A generic Actor model for Crystal☆10Jul 11, 2023Updated 2 years ago
- iOS app for reading Lobste.rs.☆14Aug 1, 2017Updated 8 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Haskell module for parsing of Go source code, forked from Hackage☆13Aug 8, 2018Updated 7 years ago
- An example Ruby program to demonstrate the "pure function as an object" pattern.☆10Dec 11, 2017Updated 8 years ago
- An EasyMock inspired mocking library for erlang.☆23Mar 28, 2023Updated 2 years ago
- Oracle RMAN SBT API☆11Mar 13, 2017Updated 8 years ago
- A cross-platform thermodynamics program for geologists, written in Fortran and C☆12Apr 20, 2010Updated 15 years ago
- Example of using Dhall to generate a terraform file to manage a Github Organisation☆11Dec 8, 2020Updated 5 years ago
- old - now lives in https://github.com/concourse/concourse☆11Mar 24, 2022Updated 3 years ago
- planner where R stays for reactive. It is a library to implement the reactive planning in Go.☆16Jan 24, 2024Updated 2 years ago
- gRPC mocks with Jsonnet☆13Mar 25, 2025Updated 11 months ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- RFC8345-based Network Topology Modeling Toolbox☆20Feb 21, 2024Updated 2 years ago
- Crossplane Provider for Styra☆14Dec 16, 2022Updated 3 years ago
- A GRPC service for interacting with pprof☆12Apr 17, 2018Updated 7 years ago
- Activity summary e-mails☆16Feb 11, 2026Updated 3 weeks ago
- Linux CLI tool to assign shell commands to keys on a USB MIDI Keyboard☆36Updated this week
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- Parmezan fixes unbalanced or unexpected parens or other delimiters in Clojure files☆24Jan 1, 2026Updated 2 months ago
- Demo/experimental tools for playing with LSP logging output from Go's compiler, gc.☆12Mar 21, 2024Updated last year
- Apple OSA scripts☆11Aug 15, 2018Updated 7 years ago
- A small library to add some convenience methods to Scala encompassing predicate logic☆21Mar 16, 2016Updated 9 years ago
- 🖥️ 👓 Monitor your OPA Gatekeeper via Grafana Dashboard☆14Dec 17, 2020Updated 5 years ago