ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-59.26%)
Ohmyform✏️ Free open source alternative to TypeForm, TellForm, or Google Forms ⛺
Stars: ✭ 1,065 (+1214.81%)
Type safeZero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+969.14%)
BehatnoextensionThis Behat extension makes it possible to extend Behat without having to write an extension yourself.
Stars: ✭ 34 (-58.02%)
UniveqSafer universal equivalence (==) for Scala.
Stars: ✭ 55 (-32.1%)
Pcf NominalA formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-93.83%)
Slackware ContainerMinimal rootfs creation for slackware linux (ideal for container images)
Stars: ✭ 62 (-23.46%)
Gandalf.webOpen-Source Decision Engine and Scoring Table for Big-Data.
Stars: ✭ 46 (-43.21%)
Robin Hood HashingFast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20
Stars: ✭ 658 (+712.35%)
Docker Php NginxDocker image with Nginx 1.18 & PHP-FPM 7.4 on Alpine Linux
Stars: ✭ 581 (+617.28%)
Phpcs Type SniffPHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-56.79%)
YewduxRedux-like state containers for Yew apps
Stars: ✭ 58 (-28.4%)
Mydimoved to https://github.com/cekta/di
Stars: ✭ 21 (-74.07%)
Dipsr/container implementation for humans
Stars: ✭ 69 (-14.81%)
AppserverA multithreaded application server for PHP, written in PHP.
Stars: ✭ 930 (+1048.15%)
KubereumKubernetes + Ethereum = Kubereum!!!
Stars: ✭ 55 (-32.1%)
Swift Tagged🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+888.89%)
GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+743.21%)
CsilvmA LVM2 CSI plugin
Stars: ✭ 49 (-39.51%)
RuntimeOCI (Open Containers Initiative) compatible runtime using Virtual Machines
Stars: ✭ 588 (+625.93%)
Log PilotCollect logs for docker containers
Stars: ✭ 1,112 (+1272.84%)
TypewizAutomatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+1166.67%)
NexclipperMetrics Pipeline for interoperability and Enterprise Prometheus
Stars: ✭ 533 (+558.02%)
Dynamix🍥 A new take on polymorphism in C++
Stars: ✭ 504 (+522.22%)
Go ContainerregistryGo library and CLIs for working with container registries
Stars: ✭ 974 (+1102.47%)
Ipdata🌐 An IP lookup system utilizing open datasets
Stars: ✭ 58 (-28.4%)
BottlejsA powerful dependency injection micro container for JavaScript applications
Stars: ✭ 1,171 (+1345.68%)
VariantC++17 `std::variant` for C++11/14/17
Stars: ✭ 484 (+497.53%)
Dry ValidationValidation library with type-safe schemas and rules
Stars: ✭ 1,087 (+1241.98%)
Kubernetes GoatKubernetes Goat is "Vulnerable by Design" Kubernetes Cluster. Designed to be an intentionally vulnerable cluster environment to learn and practice Kubernetes security.
Stars: ✭ 868 (+971.6%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-7.41%)
Photo BlogThe Photo Blog Application based on Laravel 5 and Vue.js 2 + Prerender
Stars: ✭ 55 (-32.1%)
Mariadb ContainerMariaDB container images based on Red Hat Software Collections and intended for OpenShift and general usage. Users can choose between Red Hat Enterprise Linux, Fedora, and CentOS based images.
Stars: ✭ 19 (-76.54%)
InjexSimple, Decorated, Pluggable dependency-injection framework for TypeScript applications
Stars: ✭ 65 (-19.75%)
Flow RuntimeA runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+903.7%)
Magic Type🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (-34.57%)
DockerpiA Virtualised Raspberry Pi inside a Docker image
Stars: ✭ 1,064 (+1213.58%)
DynoRuntime polymorphism done right
Stars: ✭ 674 (+732.1%)
Docker Ubuntu1804 AnsibleUbuntu 18.04 LTS (Bionic) Docker container for Ansible playbook and role testing.
Stars: ✭ 61 (-24.69%)
FelixThe Felix Programming Language
Stars: ✭ 609 (+651.85%)
ZipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Stars: ✭ 46 (-43.21%)
Swift Nonempty🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+622.22%)
LimanSelf-hosted web application for monitoring docker.
Stars: ✭ 518 (+539.51%)
Nodejs Cloud ContainerDeploy, manage, and scale containerized applications on Kubernetes, powered by Google Cloud.
Stars: ✭ 38 (-53.09%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-1.23%)
AutomaxprocsAutomatically set GOMAXPROCS to match Linux container CPU quota.
Stars: ✭ 1,201 (+1382.72%)
Laravel OwnershipLaravel Ownership simplify management of Eloquent model's owner.
Stars: ✭ 71 (-12.35%)
ThreadlyType-safe thread-local storage in Swift
Stars: ✭ 58 (-28.4%)