Philip K.F. Hölzenspies's repositories

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:KotlinStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

goa

goa

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gopter

GOlang Property TestER

Language:GoLicense:MITStargazers:0Issues:0Issues:0

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl

A configuration as code language with rich validation and tooling.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-go

Pkl bindings for the Go programming language

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-go-examples

Examples for using Pkl within Go applications

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ReasonFX

JavaFX-based theorem prover for logic, mostly about the GUI-design

Language:JavaStargazers:0Issues:4Issues:1

pkl-intellij

JetBrains editor plugins providing Pkl language support

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-jvm-examples

Examples for using Pkl within JVM applications

Language:GroovyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-k8s

Templates for using Pkl with Kubernetes

License:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-k8s-examples

Examples for using Pkl with Kubernetes

License:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-lang.org

The pkl-lang.org website

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-neovim

Pkl language support for Neovim

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-package-docs

Documentation for Pkl packages

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-pantry

Shared Pkl packages

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-project-commons

Utility libraries for Pkl

License:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-spring

Spring Boot extension for configuring Boot apps with Pkl

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-swift

Pkl bindings for the Swift programming language

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-swift-examples

Examples for using Pkl within Swift applications

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pkl-vscode

Pkl language support for VS Code

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tree-sitter-pkl

Tree-sitter parser for Pkl

License:Apache-2.0Stargazers:0Issues:0Issues:0