92 skills found · Page 4 of 4
thealjey / WebcompilerLint, typecheck, compile and package JavaScript (ES6 + Flow static types + JSX), for the browser as well as the NodeJS; lint, compile, autoprefix and minify SASS.
jherr / Runtime Typechecking VideoCode for the TS runtime typechecking video
ayberkt / Agda Github ActionA GitHub action for typechecking Agda code.
btemplep / BeatdropSimplified, scalable task scheduling with typechecking.
lynn / Yukiin which I play around with bidirectional typechecking
LeifW / Online TypecheckerStart of an in-browser live typechecking editor for Idris
wagdav / Dhall GrafanaTypecheck, template and modularize your Grafana dashboards with Dhall
gmazovec / Flow TyperDeclarative static and runtime type checking with Flow
wjrforcyber / SystemT👨💻 Implementing System T in Haskell 👨💻
lolpack / Type Coverage PyCalculate the type coverage of popular Python libraries
TristanCacqueray / Dhall TektonTypecheck, template and modularize your Tekton pipeline definitions with Dhall
chrisnevers / Bidirectional TypecheckingBidirectional type checking for predicative System F
disruptek / ForeachA sugary for loop macro with syntax for typechecking loop variables
capaj / Koa Graphql Boilerplatea minimal boilerplate for graphql API running on koa with graphiql. Standard.js for linting with flowtype for typechecking
alexewerlof / JtyA minimal type checking library that I need in various projects for safer programming
jenskutilek / Python StubsStubs for typechecking in font-related Python modules
davnn / SafecheckOpinionated combination of typechecking libraries for fun and profit.
wagdav / Dhall NomadTypecheck, template and modularize your Nomad job specifications with Dhall
dckc / Py2scalaUse scala compiler to typecheck python programs.
PRL-PRG / ContractrAn R :package: to insert function argument and return type contracts
