type-inferA Clojure utility to inspect static types inferred by the Clojure compiler
Stars: ✭ 16 (-99.7%)
GluonA static, type inferred and embeddable language written in Rust.
Stars: ✭ 2,457 (-54.25%)
JediAwesome autocompletion, static analysis and refactoring library for python
Stars: ✭ 5,037 (-6.22%)
PsalmA static analysis tool for finding errors in PHP applications
Stars: ✭ 4,523 (-15.79%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (-42.95%)
DataAnalyzer.app✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!
Stars: ✭ 23 (-99.57%)
REInferRuntime Extended Inference for json data.
Stars: ✭ 23 (-99.57%)
visionsType System for Data Analysis in Python
Stars: ✭ 136 (-97.47%)
HyperKAKnowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
Stars: ✭ 27 (-99.5%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-98.73%)
samlangSam's Programming Language
Stars: ✭ 22 (-99.59%)
heron-languageA pure functional type-inferred language based on JavaScript
Stars: ✭ 53 (-99.01%)
storageMongoose-like schema validation, collections and documents on browser (client-side)
Stars: ✭ 17 (-99.68%)
schema-registry-gitopsManage Confluent Schema Registry subjects through Infrastructure as code
Stars: ✭ 36 (-99.33%)
TypesAndProofsType inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Stars: ✭ 23 (-99.57%)
LambdaNetProbabilistic Type Inference using Graph Neural Networks
Stars: ✭ 39 (-99.27%)
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-98.64%)
fluent-schemeri wrote this so i can validate stuff without suffering
Stars: ✭ 43 (-99.2%)
phpstan-dbaPHPStan based SQL static analysis and type inference for the database access layer
Stars: ✭ 163 (-96.97%)
api_api is an autogenerated CRUD API built on LowDB and ExpressJS.
Stars: ✭ 73 (-98.64%)
redux-typed-sagaA type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the generator completely.
Stars: ✭ 12 (-99.78%)
sbt-graphqlSBT plugin to generate and validate graphql schemas written with Sangria
Stars: ✭ 94 (-98.25%)