All Projects → Strict Variant → Similar Projects or Alternatives

405 Open source projects that are alternatives of or similar to Strict Variant

Zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-59.26%)
Mutual labels:  type-safety, polymorphism
Ohmyform
✏️ Free open source alternative to TypeForm, TellForm, or Google Forms ⛺
Stars: ✭ 1,065 (+1214.81%)
Mutual labels:  container
Type safe
Zero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+969.14%)
Mutual labels:  type-safety
Nexus Plugin Prisma
A plugin for Nexus that integrates Prisma
Stars: ✭ 728 (+798.77%)
Mutual labels:  type-safety
Behatnoextension
This Behat extension makes it possible to extend Behat without having to write an extension yourself.
Stars: ✭ 34 (-58.02%)
Mutual labels:  container
Univeq
Safer universal equivalence (==) for Scala.
Stars: ✭ 55 (-32.1%)
Mutual labels:  type-safety
Pcf Nominal
A formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-93.83%)
Mutual labels:  type-safety
Slackware Container
Minimal rootfs creation for slackware linux (ideal for container images)
Stars: ✭ 62 (-23.46%)
Mutual labels:  container
Gandalf.web
Open-Source Decision Engine and Scoring Table for Big-Data.
Stars: ✭ 46 (-43.21%)
Mutual labels:  container
Robin Hood Hashing
Fast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20
Stars: ✭ 658 (+712.35%)
Mutual labels:  container
Docker Php Nginx
Docker image with Nginx 1.18 & PHP-FPM 7.4 on Alpine Linux
Stars: ✭ 581 (+617.28%)
Mutual labels:  container
Phpcs Type Sniff
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-56.79%)
Mutual labels:  type-safety
Yewdux
Redux-like state containers for Yew apps
Stars: ✭ 58 (-28.4%)
Mutual labels:  container
Mydi
moved to https://github.com/cekta/di
Stars: ✭ 21 (-74.07%)
Mutual labels:  container
Di
psr/container implementation for humans
Stars: ✭ 69 (-14.81%)
Mutual labels:  container
Appserver
A multithreaded application server for PHP, written in PHP.
Stars: ✭ 930 (+1048.15%)
Mutual labels:  container
Kubereum
Kubernetes + Ethereum = Kubereum!!!
Stars: ✭ 55 (-32.1%)
Mutual labels:  container
Swift Tagged
🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+888.89%)
Mutual labels:  type-safety
Docker Centos7 Ansible
CentOS 7 Docker container for Ansible playbook and role testing.
Stars: ✭ 72 (-11.11%)
Mutual labels:  container
Gentype
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+743.21%)
Mutual labels:  type-safety
Csilvm
A LVM2 CSI plugin
Stars: ✭ 49 (-39.51%)
Mutual labels:  container
Runtime
OCI (Open Containers Initiative) compatible runtime using Virtual Machines
Stars: ✭ 588 (+625.93%)
Mutual labels:  container
Log Pilot
Collect logs for docker containers
Stars: ✭ 1,112 (+1272.84%)
Mutual labels:  container
Typewiz
Automatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+1166.67%)
Mutual labels:  type-safety
Nexclipper
Metrics Pipeline for interoperability and Enterprise Prometheus
Stars: ✭ 533 (+558.02%)
Mutual labels:  container
Dynamix
🍥 A new take on polymorphism in C++
Stars: ✭ 504 (+522.22%)
Mutual labels:  polymorphism
Go Containerregistry
Go library and CLIs for working with container registries
Stars: ✭ 974 (+1102.47%)
Mutual labels:  container
Ipdata
🌐 An IP lookup system utilizing open datasets
Stars: ✭ 58 (-28.4%)
Mutual labels:  container
Bottlejs
A powerful dependency injection micro container for JavaScript applications
Stars: ✭ 1,171 (+1345.68%)
Mutual labels:  container
Variant
C++17 `std::variant` for C++11/14/17
Stars: ✭ 484 (+497.53%)
Mutual labels:  polymorphism
Aws Scalable Big Blue Button Example
Demonstration of how to deploy a scalable video conference solution based on Big Blue Button
Stars: ✭ 29 (-64.2%)
Mutual labels:  container
Dry Validation
Validation library with type-safe schemas and rules
Stars: ✭ 1,087 (+1241.98%)
Mutual labels:  type-safety
Kubernetes Goat
Kubernetes 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%)
Mutual labels:  container
Pfun
Functional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-7.41%)
Mutual labels:  type-safety
Minecraft Forge
Docker images for Minecraft Forge
Stars: ✭ 11 (-86.42%)
Mutual labels:  container
Photo Blog
The Photo Blog Application based on Laravel 5 and Vue.js 2 + Prerender
Stars: ✭ 55 (-32.1%)
Mutual labels:  container
Mariadb Container
MariaDB 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%)
Mutual labels:  container
Injex
Simple, Decorated, Pluggable dependency-injection framework for TypeScript applications
Stars: ✭ 65 (-19.75%)
Mutual labels:  container
Flow Runtime
A runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+903.7%)
Mutual labels:  type-safety
Magic Type
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (-34.57%)
Mutual labels:  type-safety
Caddy Docker
Docker container for Caddy
Stars: ✭ 729 (+800%)
Mutual labels:  container
React Polymorphic Types
Zero-runtime polymorphic component definitions for React
Stars: ✭ 78 (-3.7%)
Mutual labels:  polymorphism
Docker Alpine Java
Oracle Java8 over AlpineLinux with glibc 2.29
Stars: ✭ 703 (+767.9%)
Mutual labels:  container
Dockerpi
A Virtualised Raspberry Pi inside a Docker image
Stars: ✭ 1,064 (+1213.58%)
Mutual labels:  container
Dyno
Runtime polymorphism done right
Stars: ✭ 674 (+732.1%)
Mutual labels:  polymorphism
Docker Ubuntu1804 Ansible
Ubuntu 18.04 LTS (Bionic) Docker container for Ansible playbook and role testing.
Stars: ✭ 61 (-24.69%)
Mutual labels:  container
Felix
The Felix Programming Language
Stars: ✭ 609 (+651.85%)
Mutual labels:  polymorphism
Zipperposition
An 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%)
Mutual labels:  polymorphism
Swift Nonempty
🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+622.22%)
Mutual labels:  type-safety
Docker Discordjs Tutorial
WIP Tutorial for running your Discord.JS bot inside Docker containers
Stars: ✭ 72 (-11.11%)
Mutual labels:  container
Docker Atlassian Jira
Atlassian JIRA Core wrapped in a Docker image
Stars: ✭ 553 (+582.72%)
Mutual labels:  container
Singularity Tutorial
Tutorial for using Singularity containers
Stars: ✭ 46 (-43.21%)
Mutual labels:  container
Liman
Self-hosted web application for monitoring docker.
Stars: ✭ 518 (+539.51%)
Mutual labels:  container
Io Ts Reporters
Error reporters for io-ts
Stars: ✭ 58 (-28.4%)
Mutual labels:  type-safety
Nodejs Cloud Container
Deploy, manage, and scale containerized applications on Kubernetes, powered by Google Cloud.
Stars: ✭ 38 (-53.09%)
Mutual labels:  container
Dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-1.23%)
Mutual labels:  type-safety
Automaxprocs
Automatically set GOMAXPROCS to match Linux container CPU quota.
Stars: ✭ 1,201 (+1382.72%)
Mutual labels:  container
Laravel Ownership
Laravel Ownership simplify management of Eloquent model's owner.
Stars: ✭ 71 (-12.35%)
Mutual labels:  polymorphism
Threadly
Type-safe thread-local storage in Swift
Stars: ✭ 58 (-28.4%)
Mutual labels:  type-safety
Golang Docker Build Tutorial
A template project to create a minimal Docker image for a Go application
Stars: ✭ 36 (-55.56%)
Mutual labels:  container
1-60 of 405 similar projects