pyrserA PEG Parsing Tool
Stars: ✭ 32 (+60%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+240%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+15220%)
typist-jsonA simple runtime JSON type checker.
Stars: ✭ 25 (+25%)
typepyA Python library for variable type checker/validator/converter at a run time.
Stars: ✭ 16 (-20%)
node-miniMini Node.js runtime built on V8
Stars: ✭ 24 (+20%)
typeforceAnother biased type checking solution for Javascript
Stars: ✭ 22 (+10%)
hexAn ecosystem delivering practices, philosophy and portability. Powered By Deno and JavaScript.
Stars: ✭ 48 (+140%)
micropython-stubsStubs of common micropython modules to aid in code completion, static typechecking and overall development
Stars: ✭ 46 (+130%)
libclosure-KCBuildlibclosure-74-79编译 - 最新Block底层源码编译,大家可以轻松Block源码调试 查看_Block_copy 还有 __block底层操作...
Stars: ✭ 71 (+255%)
TPreventUnrecognizedSELUse TPreventUnrecognizedSEL can make you project prevent the unrecognized selector crash
Stars: ✭ 17 (-15%)
RuntimeBPsThis 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%)
plt-researchA collection of PLT researching
Stars: ✭ 29 (+45%)
wac-espWeb 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%)
kanjiA strongly typed GraphQL API framework
Stars: ✭ 12 (-40%)
anders🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-75%)
coq-talFormalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-25%)
distributionSiddhi streaming runtime and tooling distribution
Stars: ✭ 22 (+10%)
cacheSimple and easy go cache micro framework
Stars: ✭ 12 (-40%)
DotNetJSConsume C# in JavaScript with comfort: single-file UMD library, auto-generated 2-way bindings and type definitions
Stars: ✭ 551 (+2655%)
WARDuinoA dynamic WebAssembly VM for embedded systems
Stars: ✭ 51 (+155%)
yantsYet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (+75%)
wasm-joeyServerless Wasm - A lightweight Node.js application for deploying and executing WebAssembly(Wasm) binary-code via HTTP
Stars: ✭ 48 (+140%)
cicadaCicada Language
Stars: ✭ 9 (-55%)
blueboatAll-in-one, multi-tenant serverless JavaScript runtime.
Stars: ✭ 1,832 (+9060%)
quickjs-buildBuild for QuickJS JavaScript Engine
Stars: ✭ 25 (+25%)
TWVMA tiny, lightweight and efficient WebAssembly virtual machine.
Stars: ✭ 105 (+425%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-25%)
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+15660%)
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (+120%)
tesseract-ocr-reTesseract 4 OCR Runtime Environment - Docker Container
Stars: ✭ 94 (+370%)
UnityNativeToolAllows to unload native plugins in Unity3d editor
Stars: ✭ 147 (+635%)
nanoxNanos++ 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%)
vim-venomSelect Python runtimes or activate virtual-environments while working in Neo/Vim.
Stars: ✭ 33 (+65%)
m2ee-toolsm2ee, the Mendix runtime helper tools for GNU/Linux
Stars: ✭ 23 (+15%)
runtime-config-loaderThis is an Angular library that provides an easy way to load a configuration JSON file for runtime configuration.
Stars: ✭ 32 (+60%)
strongtypingDecorator which checks whether the function is called with the correct type of parameters.
Stars: ✭ 85 (+325%)
runtime-snapsCore repository for Solus runtime snaps
Stars: ✭ 32 (+60%)
inclavare-containersA novel container runtime, aka confidential container, for cloud-native confidential computing and enclave runtime ecosystem.
Stars: ✭ 510 (+2450%)
go-wasmRun WASM built from Go in Go
Stars: ✭ 58 (+190%)
vercel-bref▲ Vercel bref runtime • brefphp • vercel-bref
Stars: ✭ 25 (+25%)
wazerowazero: the zero dependency WebAssembly runtime for Go developers
Stars: ✭ 2,065 (+10225%)
subwasmSubwasm 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%)
com2annTool for translation type comments to type annotations in Python
Stars: ✭ 115 (+475%)
AROSwww.axrt.org
Stars: ✭ 33 (+65%)
openj9Eclipse 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%)
northstarEmbedded container runtime
Stars: ✭ 82 (+310%)
TypeGame👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+1010%)
squireThe medieval language held together by twine.
Stars: ✭ 42 (+110%)