All Projects → floweret → Similar Projects or Alternatives

239 Open source projects that are alternatives of or similar to floweret

pyrser
A PEG Parsing Tool
Stars: ✭ 32 (+60%)
Mutual labels:  type-checking, type-system
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+240%)
Mutual labels:  type-checking, type-system
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+15220%)
Mutual labels:  type-checking, type-system
typist-json
A simple runtime JSON type checker.
Stars: ✭ 25 (+25%)
Mutual labels:  type-checking
type-operators-rs
A macro for defining type operators in Rust.
Stars: ✭ 56 (+180%)
Mutual labels:  type-system
permissionUtil
Simple permission helper
Stars: ✭ 64 (+220%)
Mutual labels:  runtime
typepy
A Python library for variable type checker/validator/converter at a run time.
Stars: ✭ 16 (-20%)
Mutual labels:  type-checking
node-mini
Mini Node.js runtime built on V8
Stars: ✭ 24 (+20%)
Mutual labels:  runtime
NetEaseBaymaxDemo
仿网易大白健康系统写的一个小工具,仅当学习交流使用
Stars: ✭ 37 (+85%)
Mutual labels:  runtime
Runtime-Headers
💿 iOS, macOS runtime headers
Stars: ✭ 26 (+30%)
Mutual labels:  runtime
typeforce
Another biased type checking solution for Javascript
Stars: ✭ 22 (+10%)
Mutual labels:  type-checking
hex
An ecosystem delivering practices, philosophy and portability. Powered By Deno and JavaScript.
Stars: ✭ 48 (+140%)
Mutual labels:  runtime
micropython-stubs
Stubs of common micropython modules to aid in code completion, static typechecking and overall development
Stars: ✭ 46 (+130%)
Mutual labels:  type-checking
libclosure-KCBuild
libclosure-74-79编译 - 最新Block底层源码编译,大家可以轻松Block源码调试 查看_Block_copy 还有 __block底层操作...
Stars: ✭ 71 (+255%)
Mutual labels:  runtime
TPreventUnrecognizedSEL
Use TPreventUnrecognizedSEL can make you project prevent the unrecognized selector crash
Stars: ✭ 17 (-15%)
Mutual labels:  runtime
RuntimeBPs
This project allows for visual scripting in UE4 similar to Blueprints, but at runtime. The way this is set up does not make use of any UE4 boilerplate and could with a few adjustments be used in another engine.
Stars: ✭ 77 (+285%)
Mutual labels:  runtime
chameleon-runtime
chameleon 运行时框架
Stars: ✭ 32 (+60%)
Mutual labels:  runtime
plt-research
A collection of PLT researching
Stars: ✭ 29 (+45%)
Mutual labels:  type-system
wac-esp
Web Assembly Interpreter for ESP32 family of micro controllers running the ESP-IDF development framework, based on the great work at kanaka/wac
Stars: ✭ 66 (+230%)
Mutual labels:  runtime
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-40%)
Mutual labels:  type-system
openpai-runtime
Runtime for deep learning workload
Stars: ✭ 17 (-15%)
Mutual labels:  runtime
anders
🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-75%)
Mutual labels:  type-system
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-25%)
Mutual labels:  type-system
distribution
Siddhi streaming runtime and tooling distribution
Stars: ✭ 22 (+10%)
Mutual labels:  runtime
cache
Simple and easy go cache micro framework
Stars: ✭ 12 (-40%)
Mutual labels:  runtime
DotNetJS
Consume C# in JavaScript with comfort: single-file UMD library, auto-generated 2-way bindings and type definitions
Stars: ✭ 551 (+2655%)
Mutual labels:  runtime
WARDuino
A dynamic WebAssembly VM for embedded systems
Stars: ✭ 51 (+155%)
Mutual labels:  runtime
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (+75%)
Mutual labels:  type-system
iOS11RuntimeHeaders
iOS11RuntimeHeaders
Stars: ✭ 26 (+30%)
Mutual labels:  runtime
wasm-joey
Serverless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP
Stars: ✭ 48 (+140%)
Mutual labels:  runtime
flake8-annotations
Flake8 Type Annotation Checking
Stars: ✭ 117 (+485%)
Mutual labels:  type-annotations
cicada
Cicada Language
Stars: ✭ 9 (-55%)
Mutual labels:  type-system
blueboat
All-in-one, multi-tenant serverless JavaScript runtime.
Stars: ✭ 1,832 (+9060%)
Mutual labels:  runtime
Kubernetes-and-Cloud-Native-Associate-KCNA
Useful notes for the KCNA - Kubernetes and Cloud Native Associate
Stars: ✭ 162 (+710%)
Mutual labels:  runtime
quickjs-build
Build for QuickJS JavaScript Engine
Stars: ✭ 25 (+25%)
Mutual labels:  runtime
TWVM
A tiny, lightweight and efficient WebAssembly virtual machine.
Stars: ✭ 105 (+425%)
Mutual labels:  runtime
quick.py
Property-based testing library for Python
Stars: ✭ 15 (-25%)
Mutual labels:  type-annotations
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+15660%)
Mutual labels:  type-system
lambda-runtime-pypy3.5
AWS Lambda Runtime for PyPy 3.5
Stars: ✭ 17 (-15%)
Mutual labels:  runtime
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (+120%)
Mutual labels:  type-system
tesseract-ocr-re
Tesseract 4 OCR Runtime Environment - Docker Container
Stars: ✭ 94 (+370%)
Mutual labels:  runtime
UnityNativeTool
Allows to unload native plugins in Unity3d editor
Stars: ✭ 147 (+635%)
Mutual labels:  runtime
nanox
Nanos++ is a runtime designed to serve as runtime support in parallel environments. It is mainly used to support OmpSs, a extension to OpenMP developed at BSC.
Stars: ✭ 37 (+85%)
Mutual labels:  runtime
vim-venom
Select Python runtimes or activate virtual-environments while working in Neo/Vim.
Stars: ✭ 33 (+65%)
Mutual labels:  runtime
m2ee-tools
m2ee, the Mendix runtime helper tools for GNU/Linux
Stars: ✭ 23 (+15%)
Mutual labels:  runtime
runtime-config-loader
This is an Angular library that provides an easy way to load a configuration JSON file for runtime configuration.
Stars: ✭ 32 (+60%)
Mutual labels:  runtime
strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
Stars: ✭ 85 (+325%)
Mutual labels:  type-checking
runtime-snaps
Core repository for Solus runtime snaps
Stars: ✭ 32 (+60%)
Mutual labels:  runtime
inclavare-containers
A novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem.
Stars: ✭ 510 (+2450%)
Mutual labels:  runtime
IntelliJ-Luanalysis
Type-safe Lua IDE Plugin for IntelliJ IDEA
Stars: ✭ 118 (+490%)
Mutual labels:  type-checking
go-wasm
Run WASM built from Go in Go
Stars: ✭ 58 (+190%)
Mutual labels:  runtime
vercel-bref
▲ Vercel bref runtime • brefphp • vercel-bref
Stars: ✭ 25 (+25%)
Mutual labels:  runtime
wazero
wazero: the zero dependency WebAssembly runtime for Go developers
Stars: ✭ 2,065 (+10225%)
Mutual labels:  runtime
subwasm
Subwasm is a cli utility to help you know more about WASM Runtimes. It help downloading, inspecting and comparing Substrate based chains such as Polkadot or Kusama.
Stars: ✭ 53 (+165%)
Mutual labels:  runtime
com2ann
Tool for translation type comments to type annotations in Python
Stars: ✭ 115 (+475%)
Mutual labels:  type-annotations
AROS
www.axrt.org
Stars: ✭ 33 (+65%)
Mutual labels:  runtime
openj9
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
Stars: ✭ 2,973 (+14765%)
Mutual labels:  runtime
northstar
Embedded container runtime
Stars: ✭ 82 (+310%)
Mutual labels:  runtime
TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+1010%)
Mutual labels:  type-system
squire
The medieval language held together by twine.
Stars: ✭ 42 (+110%)
Mutual labels:  runtime
1-60 of 239 similar projects